Universally Composable Symbolic Analysis of Diffie-Hellman based Key Exchange

Ran Canetti, Sebastian Gajek. Universally Composable Symbolic Analysis of Diffie-Hellman based Key Exchange. IACR Cryptology ePrint Archive, 2010:303, 2010. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: