On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography

Michael Backes , Markus Dürmuth, Ralf Küsters

Proceedings of 27th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2007.

( BibTeX )

PDF (long)