Gilles Barthe
AuthID: R-00H-7MM
31
TITLE: Proving Differential Privacy via Probabilistic Couplings
AUTHORS: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2016, SOURCE: LICS
AUTHORS: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2016, SOURCE: LICS
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP32
TITLE: Computer-Aided Verification for Mechanism Design
AUTHORS: Gilles Barthe; Marco Gaboardi; Emilio Jesús Gallego Arias; Justin Hsu; Aaron Roth; Pierre Yves Strub;
PUBLISHED: 2016, SOURCE: WINE
AUTHORS: Gilles Barthe; Marco Gaboardi; Emilio Jesús Gallego Arias; Justin Hsu; Aaron Roth; Pierre Yves Strub;
PUBLISHED: 2016, SOURCE: WINE
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP33
TITLE: Automated Proofs of Pairing-Based Cryptography
AUTHORS: Gilles Barthe; Benjamin Grégoire; Benedikt Schmidt;
PUBLISHED: 2015, SOURCE: CCS
AUTHORS: Gilles Barthe; Benjamin Grégoire; Benedikt Schmidt;
PUBLISHED: 2015, SOURCE: CCS
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP34
TITLE: Verified Proofs of Higher-Order Masking
AUTHORS: Gilles Barthe; Sonia Belaïd; François Dupressoir; Pierre Alain Fouque; Benjamin Grégoire; Pierre Yves Strub;
PUBLISHED: 2015, SOURCE: EUROCRYPT (1)
AUTHORS: Gilles Barthe; Sonia Belaïd; François Dupressoir; Pierre Alain Fouque; Benjamin Grégoire; Pierre Yves Strub;
PUBLISHED: 2015, SOURCE: EUROCRYPT (1)
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP35
TITLE: Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLISHED: 2015, SOURCE: EUROCRYPT (2)
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLISHED: 2015, SOURCE: EUROCRYPT (2)
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP36
TITLE: Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
AUTHORS: Patrick Baillot; Gilles Barthe; Ugo Dal Lago;
PUBLISHED: 2015, SOURCE: LPAR
AUTHORS: Patrick Baillot; Gilles Barthe; Ugo Dal Lago;
PUBLISHED: 2015, SOURCE: LPAR
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP37
TITLE: Relational Reasoning via Probabilistic Coupling
AUTHORS: Gilles Barthe; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Léo Stefanesco; Pierre Yves Strub;
PUBLISHED: 2015, SOURCE: LPAR
AUTHORS: Gilles Barthe; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Léo Stefanesco; Pierre Yves Strub;
PUBLISHED: 2015, SOURCE: LPAR
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP38
TITLE: Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds
AUTHORS: Gilles Barthe; Edvard Fagerholm; Dario Fiore; Andre Scedrov; Benedikt Schmidt; Mehdi Tibouchi;
PUBLISHED: 2015, SOURCE: Public Key Cryptography
AUTHORS: Gilles Barthe; Edvard Fagerholm; Dario Fiore; Andre Scedrov; Benedikt Schmidt; Mehdi Tibouchi;
PUBLISHED: 2015, SOURCE: Public Key Cryptography
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP39
TITLE: Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy
AUTHORS: Gilles Barthe; Marco Gaboardi; Emilio Jesús Gallego Arias; Justin Hsu; Aaron Roth; Pierre Yves Strub;
PUBLISHED: 2015, SOURCE: POPL
AUTHORS: Gilles Barthe; Marco Gaboardi; Emilio Jesús Gallego Arias; Justin Hsu; Aaron Roth; Pierre Yves Strub;
PUBLISHED: 2015, SOURCE: POPL
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP40
TITLE: Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)
AUTHORS: Gilles Barthe; Andrew D Gordon; Joost Pieter Katoen; Annabelle McIver;
PUBLISHED: 2015, SOURCE: Dagstuhl Reports, VOLUME: 5, ISSUE: 4
AUTHORS: Gilles Barthe; Andrew D Gordon; Joost Pieter Katoen; Annabelle McIver;
PUBLISHED: 2015, SOURCE: Dagstuhl Reports, VOLUME: 5, ISSUE: 4
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP