Cryptology ePrint Archive: Report 2004/059

Available versions in chronological order


Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library
Michael Backes and Birgit Pfitzmann


[ Cryptology ePrint archive ]