@article{cbce76f5ad16487ea1f442900b0f92ae,
title = "Easycrypt: A tutorial",
author = "Gilles Barthe and Fran{\c c}ois Dupressoir and Benjamin Gr{\'e}goire and C{\'e}sar Kunz and Benedikt Schmidt and Strub, \{Pierre Yves\}",
year = "2014",
month = jan,
day = "1",
doi = "10.1007/978-3-319-10082-1\_6",
language = "English",
volume = "8604",
pages = "146--166",
journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
issn = "0302-9743",
}