Juan Manuel Crespo

According to our database, Juan Manuel Crespo authored at least 13 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Automation and Modularity of Cryptographic Proofs in the Computational Model.

Juan Manuel Crespo

PhD thesis, 2016

Product programs and relational program logics.

Gilles Barthe, Juan Manuel Crespo, César Kunz

J. Log. Algebraic Methods Program., 2016

Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.

Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk

Proceedings of the FM 2016: Formal Methods, 2016

2015

Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols.

Gilles Barthe, Juan Manuel Crespo, Yassine Lakhnech, Benedikt Schmidt

IACR Cryptol. ePrint Arch., 2015

2013

From relational verification to SIMD loop synthesis.

Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification.

Gilles Barthe, Juan Manuel Crespo, César Kunz

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

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

Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Benedikt Schmidt, Santiago Zanella Béguelin

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Automated Analysis and Synthesis of Padding-Based Encryption Schemes.

Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2012

Computer-Aided Cryptographic Proofs.

Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, César Kunz, Santiago Zanella Béguelin

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

Secure Multi-Execution through Static Program Transformation.

Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas

Proceedings of the Formal Techniques for Distributed Systems, 2012

2011

A Machine-Checked Framework for Relational Separation Logic.

Juan Manuel Crespo, César Kunz

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Relational Verification Using Product Programs.

Gilles Barthe, Juan Manuel Crespo, César Kunz

Proceedings of the FM 2011: Formal Methods, 2011

2008

A Framework for the Analysis of Access Control Models for Interactive Mobile Devices.

Juan Manuel Crespo, Gustavo Betarte, Carlos Luna

Proceedings of the Types for Proofs and Programs, International Conference, 2008