Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols

No ratings

Presented at EuroCrypt 2015 by

Benedikt Schmidt

Gilles Barthe

Yassine Lakhnech

Juan Crespo

N/A