Juan Manuel Crespo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2011–2016
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FM | 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, Csar Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk |
| 2015 | EuroCrypt | Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols. | Gilles Barthe, Juan Manuel Crespo, Yassine Lakhnech, Benedikt Schmidt |
| 2013 | CCS | Fully automated analysis of padding-based encryption in the computational model. | Gilles Barthe, Juan Manuel Crespo, Benjamin Grgoire, Csar Kunz, Yassine Lakhnech, Benedikt Schmidt, Santiago Zanella-Bguelin |
| 2013 | LFCS | Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification. | Gilles Barthe, Juan Manuel Crespo, Csar Kunz |
| 2013 | PPoPP | From relational verification to SIMD loop synthesis. | Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, Csar Kunz, Mark Marron |
| 2012 | FORTE | Secure Multi-Execution through Static Program Transformation. | Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas |
| 2012 | ITP | Computer-Aided Cryptographic Proofs. | Gilles Barthe, Juan Manuel Crespo, Benjamin Grgoire, Csar Kunz, Santiago Zanella-Bguelin |
| 2011 | FM | Relational Verification Using Product Programs. | Gilles Barthe, Juan Manuel Crespo, Csar Kunz |
| 2011 | SEFM | A Machine-Checked Framework for Relational Separation Logic. | Juan Manuel Crespo, Csar Kunz |