César Kunz

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