Cryptology ePrint Archive: Report 2009/392
Available versions in chronological order
20090815:023716 (posted 15-Aug-2009 02:37:16 UTC)
Computational Soundness for Key Exchange Protocols with Symmetric Encryption
Ralf Kuesters and Max Tuengerthal
Publication Info: Abridged version appears in CCS 2009.
[
Cryptology ePrint archive
]