Easycrypt: A tutorial

Gilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre Yves Strub

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	146-166
Number of pages	21
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8604
DOIs	https://doi.org/10.1007/978-3-319-10082-1_6
Publication status	Published - 1 Jan 2014
Externally published	Yes

Access to Document

@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",

}

TY - JOUR

T1 - Easycrypt

T2 - A tutorial

AU - Barthe, Gilles

AU - Dupressoir, François

AU - Grégoire, Benjamin

AU - Kunz, César

AU - Schmidt, Benedikt

AU - Strub, Pierre Yves

PY - 2014/1/1

Y1 - 2014/1/1

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

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

M3 - Article

AN - SCOPUS:84927634639

SN - 0302-9743

VL - 8604

SP - 146

EP - 166

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -