Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 123



51
TITLE: A relational logic for higher-order programs
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: J. Funct. Program., VOLUME: 29
INDEXED IN: DBLP
52
TITLE: Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy
AUTHORS: Tetsuya Sato; Gilles Barthe ; Marco Gaboardi; Justin Hsu; Shin ya Katsumata;
PUBLISHED: 2019, SOURCE: LICS
INDEXED IN: DBLP
53
TITLE: Automated Analysis of Cryptographic Assumptions in Generic Group Models
AUTHORS: Gilles Barthe ; Edvard Fagerholm; Dario Fiore; John C Mitchell; Andre Scedrov; Benedikt Schmidt;
PUBLISHED: 2019, SOURCE: J. Cryptol., VOLUME: 32, ISSUE: 2
INDEXED IN: DBLP
54
TITLE: Automated Methods for Checking Differential Privacy
AUTHORS: Gilles Barthe ; Rohit Chadha; Vishal Jagannath; Prasad P Sistla; Mahesh Viswanathan;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1910.04137
INDEXED IN: DBLP
55
TITLE: Bidirectional type checking for relational properties
AUTHORS: Ezgi Çiçek; Weihao Qu; Gilles Barthe ; Marco Gaboardi; Deepak Garg;
PUBLISHED: 2019, SOURCE: PLDI
INDEXED IN: DBLP
56
TITLE: Coupling Techniques for Reasoning about Quantum Programs
AUTHORS: Gilles Barthe ; Justin Hsu; Mingsheng Ying; Nengkun Yu; Li Zhou;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1901.05184
INDEXED IN: DBLP
57
TITLE: FaCT: a DSL for timing-sensitive computation
AUTHORS: Sunjay Cauligi; Gary Soeller; Brian Johannesmeyer; Fraser Brown; Riad S Wahby; John Renner; Benjamin Grégoire; Gilles Barthe ; Ranjit Jhala; Deian Stefan;
PUBLISHED: 2019, SOURCE: PLDI
INDEXED IN: DBLP
58
TITLE: Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization
AUTHORS: Tetsuya Sato; Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Justin Hsu;
PUBLISHED: 2019, SOURCE: Proc. ACM Program. Lang., VOLUME: 3, ISSUE: POPL
INDEXED IN: DBLP
59
TITLE: GALACTICS: Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited
AUTHORS: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Mélissa Rossi; Mehdi Tibouchi;
PUBLISHED: 2019, SOURCE: CCS
INDEXED IN: DBLP
60
TITLE: Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
AUTHORS: Patrick Baillot; Gilles Barthe ; Ugo Dal Lago;
PUBLISHED: 2019, SOURCE: J. Autom. Reason., VOLUME: 63, ISSUE: 4
INDEXED IN: DBLP
Page 6 of 13. Total results: 123.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service