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), December 2007.

Tags: