Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
Relational Verification Using Product Programs
- G. Barthe, Juan Manuel Crespo, César Kunz
- Computer ScienceFM
- 20 June 2011
TLDR
EasyCrypt: A Tutorial
- G. Barthe, François Dupressoir, B. Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub
- Computer Science, MathematicsFOSAD
- 2 September 2013
TLDR
From relational verification to SIMD loop synthesis
- G. Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron
- Computer SciencePPoPP '13
- 23 February 2013
TLDR
Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification
- G. Barthe, Juan Manuel Crespo, César Kunz
- Computer ScienceLFCS
- 6 January 2013
Relational Hoare Logic is a generalization of Hoare logic that allows reasoning about executions of two programs, or two executions of the same program. It can be used to verify that a program is…
Product programs and relational program logics
- G. Barthe, Juan Manuel Crespo, César Kunz
- Computer ScienceJ. Log. Algebraic Methods Program.
- 1 August 2016
Fully automated analysis of padding-based encryption in the computational model
- G. Barthe, Juan Manuel Crespo, Santiago Zanella Béguelin
- Computer Science, MathematicsCCS
- 4 November 2013
TLDR
Verified Computational Differential Privacy with Applications to Smart Metering
- G. Barthe, G. Danezis, B. Grégoire, César Kunz, Santiago Zanella Béguelin
- Computer Science, MathematicsIEEE 26th Computer Security Foundations Symposium
- 26 June 2013
TLDR
Proving Differential Privacy in Hoare Logic
- G. Barthe, Marco Gaboardi, E. J. G. Arias, Justin Hsu, César Kunz, Pierre-Yves Strub
- Computer ScienceIEEE 27th Computer Security Foundations Symposium
- 10 July 2014
TLDR
Certificate translation for optimizing compilers
- G. Barthe, B. Grégoire, César Kunz, Tamara Rezk
- Computer ScienceTOPL
- 1 June 2009
Proof Carrying Code provides trust in mobile code by requiring certificates that ensure the code adherence to specific conditions. The prominent approach to generate certificates for compiled code is…
Verified Security of Merkle-Damgård
- M. Backes, G. Barthe, Santiago Zanella Béguelin
- Computer Science, MathematicsIEEE 25th Computer Security Foundations Symposium
- 25 June 2012
TLDR
...
...