International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Yassine Lakhnech

Publications and invited talks

Year
Venue
Title
2015
EUROCRYPT
Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols
Gilles Barthe Juan Manuel Crespo Yassine Lakhnech Benedikt Schmidt
2007
CRYPTO
A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness
Emmanuel Bresson Yassine Lakhnech Laurent Mazaré Bogdan Warinschi

Coauthors

Gilles Barthe (1)
Emmanuel Bresson (1)
Juan Manuel Crespo (1)
Yassine Lakhnech (2)
Laurent Mazaré (1)
Benedikt Schmidt (1)
Bogdan Warinschi (1)