Stronger Security of Authenticated Key Exchange

By Brian A. LaMacchia, Kristin E. Lauter, Anton Mityagin. Provable Security, 2006

702 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications, Information Systems

View Paper: https://www.semanticscholar.org/paper/a5b87921abef3f4c65b1c7f1f9d152bddb833aa2

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. David A. Basin
2. Simon Meier
3. Benedikt Schmidt
4. Katriel Cohn-Gordon
5. Douglas Stebila
6. Benjamin Dowling
7. Cas J. F. Cremers
8. Luke Garratt

In Computer Networks and Communications

1. David A. Basin
2. Simon Meier
3. Benedikt Schmidt
4. Douglas Stebila
5. Cas J. F. Cremers

In Information Systems

1. David A. Basin
2. Simon Meier
3. Benedikt Schmidt
4. Douglas Stebila
5. Cas J. F. Cremers

Citations in the corpus

• The TAMARIN Prover for the Symbolic Analysis of Security Protocols (2013, methodology): “satisfy complex security properties, such as the eCK model [9].”
• A Formal Security Analysis of the Signal Messaging Protocol (2017, methodology): “While many possible variants of such protocols have been explored in-depth in the literature (HMQV [50], Kudla-Paterson [51], NAXOS [52] among many others), the session key derivation used here is new and not based on one of these standard protocols, though it draws some inspiration from [51].”