Cryptology ePrint Archive: Report 2010/303

Available versions in chronological order

20100525:210708 (posted 25-May-2010 21:07:08 UTC): Universally Composable Symbolic Analysis of Diffie-Hellman based Key Exchange; Ran Canetti and Sebastian Gajek

[ Cryptology ePrint archive ]