We show that it is not possible to extend the strong BRSIM/UC results to XOR, at least not with remotely the same general- ity and naturalness as for the core ...

Aug 10, 2007 · Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR for Int. J. Inf. Secur. by Michael Backes et al.

Recently significant progress was made in proving that DolevYao models can be sound with respect to actual cryptographic realizations and security definitions.

Nov 21, 2024 · We show that it is impossible to extend the strong BRSIM/UC results to usual Dolev-Yao models of hash functions in the general case. These ...

Sep 21, 2008 · Limits of the cryptographic realization of Dolev-Yao-style XOR. In. Proc. 10th ESORICS, volume 3679 of LNCS, pages 178–196. Springer, 2005 ...

Our work on impossibility was motivated by trying to add XOR and hashing to the BRSIM/UC soundness results, and being unsuccessful even if we were willing to ...

We show that it is impossible to extend the strong soundness results to XOR, at least not with remotely the same generality and naturalness as for the core ...

Jun 20, 2006 · We do obtain BRSIM/UC-style soundness, e.g., for hashing in the random oracle model and for XOR in the passive case. However, we do not find ...

The soundness of Dolev-Yao models with respect to real cryptographic security definitions has received significant attention in the last years. Until recently, ...