Conference Papers
Year : 2013
Benjamin Gregoire : Connect in order to contact the contributor
https://hal.inria.fr/hal-01114366
Submitted on : Monday, February 9, 2015-12:07:10 PM
Last modification on : Saturday, June 25, 2022-11:15:43 PM
Cite
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⟩
176
View
0
Download