Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

3 Results
authFullName_s : Cesar Kunz
Image document

Verified Security of Merkle-Damgaard

Michael Backes , Gilles Barthe , Matthias Berg , Benjamin Grégoire , Cesar Kunz et al.
25th IEEE Computer Security Foundations Symposium, CSF 2012, Jun 2012, Cambridge, MA, United States. pp.354-368, ⟨10.1109/CSF.2012.14⟩
Conference papers hal-00765883v1

EasyCrypt: A Tutorial

Gilles Barthe , Francois Dupressoir , Benjamin Grégoire , Cesar Kunz , Benedikt Schmidt et al.
FOSAD 2013, 2013, Bertinoro, Italy. ⟨10.1007/978-3-319-10082-1_6⟩
Conference papers hal-01114366v1
Image document

Computer-Aided Cryptographic Proofs

Gilles Barthe , Juan Manuel Crespo , Benjamin Grégoire , Cesar Kunz , Santiago Zanella-Béguelin et al.
ITP 2012 - Third International Conference on Interactive Theorem Proving, Aug 2012, Princeton N.J., United States. ⟨10.1007/978-3-642-32347-8_2⟩
Conference papers hal-00765842v1