Ran Canetti, Sebastian Gajek. Universally Composable Symbolic Analysis of Diffie-Hellman based Key Exchange. IACR Cryptology ePrint Archive, 2010:303, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.