Research output per year
Research output per year
Research output
Search results
-
2011
Computationally Sound Analysis of Encrypting with Diffie Hellman Keys
Cortier, V., Kremer, S., Bresson, E., Lacknech, Y., Mazare, L. & Warinschi, B., 2011, Formal Models and Techniques for Analyzing Security Protocols. IOS Press, p. 277-303Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book