EasyCrypt: A Tutorial

Gilles Barthe 1 Francois Dupressoir 1 Benjamin Grégoire 2 Cesar Kunz 1 Benedikt Schmidt 1 Pierre-Yves Strub 1
1 Institute IMDEA Software [Madrid]
2 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
Type de document :
Communication dans un congrès
FOSAD 2013, 2013, Bertinoro, Italy. LNCS, 2013, Foundations of Security Analysis and Design - 2012/2013 Tutorial Lectures. 〈10.1007/978-3-319-10082-1_6〉
Liste complète des métadonnées
https://hal.inria.fr/hal-01114366
Contributeur : Benjamin Gregoire <>
Soumis le : lundi 9 février 2015 - 12:07:10
Dernière modification le : jeudi 11 janvier 2018 - 16:41:01

Identifiants

Collections

INRIA | UNIV-COTEDAZUR

Citation

Gilles Barthe, Francois Dupressoir, Benjamin Grégoire, Cesar Kunz, Benedikt Schmidt, et al.. EasyCrypt: A Tutorial. FOSAD 2013, 2013, Bertinoro, Italy. LNCS, 2013, Foundations of Security Analysis and Design - 2012/2013 Tutorial Lectures. 〈10.1007/978-3-319-10082-1_6〉. 〈hal-01114366〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

201

Contact


archive-ouverte@inria.fr