Juan Manuel Crespo

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 2

Top Topics

Key Exchange Protocol

Encryption Scheme

Automated Analysis

Top Venues

IACR Cryptol. ePrint Arch.

J. Log. Algebraic Methods Program.

Publications

Gilles Barthe, Juan Manuel Crespo, César Kunz
Product programs and relational program logics. J. Log. Algebraic Methods Program. 85 (5) (2016)
Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. FM (2016)
Gilles Barthe, Juan Manuel Crespo, Yassine Lakhnech, Benedikt Schmidt
Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols. IACR Cryptol. ePrint Arch. 2015 (2015)
Gilles Barthe, Juan Manuel Crespo, Yassine Lakhnech, Benedikt Schmidt
Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols. EUROCRYPT (2) (2015)
Gilles Barthe, Juan Manuel Crespo, César Kunz
Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification. LFCS (2013)
Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Benedikt Schmidt, Santiago Zanella Béguelin
Fully automated analysis of padding-based encryption in the computational model. CCS (2013)
Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron
From relational verification to SIMD loop synthesis. PPOPP (2013)
Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas
Secure Multi-Execution through Static Program Transformation. FMOODS/FORTE (2012)
Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin
Automated Analysis and Synthesis of Padding-Based Encryption Schemes. IACR Cryptol. ePrint Arch. 2012 (2012)
Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Santiago Zanella Béguelin
Computer-Aided Cryptographic Proofs. ITP (2012)
Juan Manuel Crespo, César Kunz
A Machine-Checked Framework for Relational Separation Logic. SEFM (2011)
Gilles Barthe, Juan Manuel Crespo, César Kunz
Relational Verification Using Product Programs. FM (2011)
Juan Manuel Crespo, Gustavo Betarte, Carlos Luna
A Framework for the Analysis of Access Control Models for Interactive Mobile Devices. TYPES (2008)