Cryptology ePrint Archive: Report 2005/097

Available versions in chronological order

20050405:071457 (posted 05-Apr-2005 07:14:57 UTC): Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation; Yassine Lakhnech and Laurent Mazare

[ Cryptology ePrint archive ]