Easycrypt: A tutorial

Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

langue originale	Anglais
Pages (de - à)	146-166
Nombre de pages	21
journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8604
Les DOIs	https://doi.org/10.1007/978-3-319-10082-1_6
état	Publié - 1 janv. 2014
Modification externe	Oui

Accès au 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 -