Cryptology ePrint Archive: Report 2007/233

Available versions in chronological order

20070619:195302 (posted 19-Jun-2007 19:53:02 UTC): On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography; Michael Backes and Markus Duermuth and Ralf Kuesters

[ Cryptology ePrint archive ]