EasyCrypt: A Tutorial

Foundations of Security Analysis and Design VII - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10082-1_6 ◽

2014 ◽

pp. 146-166 ◽

Cited By ~ 30

Author(s):

Gilles Barthe ◽

François Dupressoir ◽

Benjamin Grégoire ◽

César Kunz ◽

Benedikt Schmidt ◽

...