Juan Manuel Crespo

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