César Kunz

According to our database, César Kunz authored at least 26 papers between 2008 and 2016.

Collaborative distances:

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

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

2014

Proving Differential Privacy in Hoare Logic.

Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

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

EasyCrypt: A Tutorial.

Gilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub

Proceedings of the Foundations of Security Analysis and Design VII, 2013

Verified Computational Differential Privacy with Applications to Smart Metering.

Gilles Barthe, George Danezis, Benjamin Grégoire, César Kunz, Santiago Zanella Béguelin

Proceedings of the 2013 IEEE 26th Computer Security Foundations 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

Verified Security of Merkle-Damgård.

Michael Backes, Gilles Barthe, Matthias Berg, Benjamin Grégoire, César Kunz, Malte Skoruppa, Santiago Zanella Béguelin

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs.

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

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012

2011

An Abstract Model of Certificate Translation.

Gilles Barthe, César Kunz

ACM Trans. Program. Lang. Syst., 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

2010

Certificate Translation for the Verification of Concurrent Programs.

César Kunz

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Perspectives in Certificate Translation.

Gilles Barthe, César Kunz

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

A Functional Framework for Result Checking.

Gilles Barthe, Pablo Buiras, César Kunz

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

Certificate translation for optimizing compilers.

Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk

ACM Trans. Program. Lang. Syst., 2009

Program Parallelization Using Synchronized Pipelining.

Leonardo Scandolo, César Kunz, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Implementing a Direct Method for Certificate Translation.

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet

Proceedings of the Formal Methods and Software Engineering, 2009

2008

Preservation of Proof Pbligations for Hybrid Verification Methods.

Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

An Introduction to Certificate Translation.

Gilles Barthe, César Kunz

Proceedings of the Foundations of Security Analysis and Design V, 2008

Certificate translation for specification-preserving advices.

Gilles Barthe, César Kunz

Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, 2008

Certificate Translation in Abstract Interpretation.

Gilles Barthe, César Kunz

Proceedings of the Programming Languages and Systems, 2008

Certified Reasoning in Memory Hierarchies.

Gilles Barthe, César Kunz, Jorge Luis Sacchini

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008