Csar Kunz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
13
Active years
2006–2016
Best venue rank
A*
Where they publish
Papers
15 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 |
| 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 | CPP | Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs. | Gilles Barthe, Benjamin Grgoire, Csar Kunz, Yassine Lakhnech, Santiago Zanella-Bguelin |
| 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 |
| 2010 | FLOPS | A Functional Framework for Result Checking. | Gilles Barthe, Pablo Buiras, Csar Kunz |
| 2009 | ICFEM | Implementing a Direct Method for Certificate Translation. | Gilles Barthe, Benjamin Grgoire, Sylvain Heraud, Csar Kunz, Anne Pacalet |
| 2009 | LOPSTR | Program Parallelization Using Synchronized Pipelining. | Leonardo Scandolo, Csar Kunz, Manuel V. Hermenegildo |
| 2008 | APLAS | Certified Reasoning in Memory Hierarchies. | Gilles Barthe, Csar Kunz, Jorge Luis Sacchini |
| 2008 | ESOP | Certificate Translation in Abstract Interpretation. | Gilles Barthe, Csar Kunz |
| 2008 | SEFM | Preservation of Proof Pbligations for Hybrid Verification Methods. | Gilles Barthe, Csar Kunz, David Pichardie, Julin Samborski-Forlese |
| 2006 | SAS | Certificate Translation for Optimizing Compilers. | Gilles Barthe, Benjamin Grgoire, Csar Kunz, Tamara Rezk |