On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77050-3_9 ◽

2007 ◽

pp. 108-120 ◽

Cited By ~ 3

Author(s):

Michael Backes ◽

Markus Dürmuth ◽

Ralf Küsters

Download Full-text