Computational Soundness for Key Exchange Protocols with Symmetric Encryption

Ralf K├╝sters, Max Tuengerthal. Computational Soundness for Key Exchange Protocols with Symmetric Encryption. IACR Cryptology ePrint Archive, 2009:392, 2009. [doi]

Abstract

Abstract is missing.