EasyCrypt: A Tutorial

Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01114366
Contributor : Benjamin Gregoire <>
Submitted on : Monday, February 9, 2015 - 12:07:10 PM
Last modification on : Thursday, January 11, 2018 - 4:41:01 PM

Identifiers

Collections

Citation

Gilles Barthe, Francois Dupressoir, Benjamin Grégoire, Cesar Kunz, Benedikt Schmidt, et al.. EasyCrypt: A Tutorial. FOSAD 2013, 2013, Bertinoro, Italy. ⟨10.1007/978-3-319-10082-1_6⟩. ⟨hal-01114366⟩

Share

Metrics

Record views

220