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

Filter your results

3 Results
authFullName_s : Juan Manuel Crespo
Image document

Secure Multi-Execution through Static Program Transformation

Gilles Barthe , Juan Manuel Crespo , Dominique Devriese , Frank Piessens , Exequiel Rivas et al.
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.186-202, ⟨10.1007/978-3-642-30793-5_12⟩
Conference papers hal-01528736v1
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

Fully automated analysis of padding-based encryption in the computational model

Gilles Barthe , Juan Manuel Crespo , Benjamin Grégoire , César Kunz , Yassine Lakhnech et al.
2013 ACM SIGSAC Conference on Computer and Communications Security, Nov 2013, Berlin, Germany. pp.1247-1260, ⟨10.1145/2508859.2516663⟩
Conference papers hal-00935737v1