César Kunz

Publication Activity (10 Years)

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

Top Topics

Encryption Scheme

Automated Analysis

Differential Privacy

Capsule Endoscopy

Top Venues

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, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub
Proving differential privacy in Hoare logic. CoRR (2014)
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub
Proving Differential Privacy in Hoare Logic. CSF (2014)
Gilles Barthe, George Danezis, Benjamin Grégoire, César Kunz, Santiago Zanella Béguelin
Verified Computational Differential Privacy with Applications to Smart Metering. CSF (2013)
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, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub
EasyCrypt: A Tutorial. FOSAD (2013)
Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron
From relational verification to SIMD loop synthesis. PPOPP (2013)
Gilles Barthe, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin
Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs. CPP (2012)
Michael Backes, Gilles Barthe, Matthias Berg, Benjamin Grégoire, César Kunz, Malte Skoruppa, Santiago Zanella Béguelin
Verified Security of Merkle-Damgård. CSF (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, César Kunz
An Abstract Model of Certificate Translation. ACM Trans. Program. Lang. Syst. 33 (4) (2011)
Gilles Barthe, Juan Manuel Crespo, César Kunz
Relational Verification Using Product Programs. FM (2011)
Gilles Barthe, César Kunz
Perspectives in Certificate Translation. TGC (2010)
Gilles Barthe, Pablo Buiras, César Kunz
A Functional Framework for Result Checking. FLOPS (2010)
César Kunz
Certificate Translation for the Verification of Concurrent Programs. TGC (2010)
Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk
Certificate translation for optimizing compilers. ACM Trans. Program. Lang. Syst. 31 (5) (2009)
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet
Implementing a Direct Method for Certificate Translation. ICFEM (2009)
Leonardo Scandolo, César Kunz, Manuel V. Hermenegildo
Program Parallelization Using Synchronized Pipelining. LOPSTR (2009)
Gilles Barthe, César Kunz
An Introduction to Certificate Translation. FOSAD (2008)
Gilles Barthe, César Kunz
Certificate translation for specification-preserving advices. FOAL (2008)
Gilles Barthe, César Kunz
Certificate Translation in Abstract Interpretation. ESOP (2008)
Gilles Barthe, César Kunz, Jorge Luis Sacchini
Certified Reasoning in Memory Hierarchies. APLAS (2008)
Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese
Preservation of Proof Pbligations for Hybrid Verification Methods. SEFM (2008)
Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk
Certificate Translation for Optimizing Compilers. SAS (2006)