Skip to main content

Computationally Sound Analysis of Encrypting with Diffie Hellman Keys

Emmanuel Bresson, Yassine Lacknech, Laurent Mazare, Bogdan Warinschi, Computationally Sound Analysis of Encrypting with Diffie Hellman Keys. Chapter in Formal Models and Techniques for Analyzing Security Protocols. Veronique Cortier, Steve Kremer, (eds.). March 2011. No electronic version available.

Abstract

Bibtex entry.

Contact details

Publication Admin