Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 123



81
TITLE: Proving expected sensitivity of probabilistic programs
AUTHORS: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2018, SOURCE: Proc. ACM Program. Lang., VOLUME: 2, ISSUE: POPL
INDEXED IN: DBLP
82
TITLE: Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Lars Birkedal; Ales Bizjak; Marco Gaboardi; Deepak Garg;
PUBLISHED: 2018, SOURCE: ESOP
INDEXED IN: DBLP
83
TITLE: Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic "Constant-Time"
AUTHORS: Gilles Barthe ; Benjamin Grégoire; Vincent Laporte;
PUBLISHED: 2018, SOURCE: CSF
INDEXED IN: DBLP
84
TITLE: Symbolic Proofs for Lattice-Based Cryptography
AUTHORS: Gilles Barthe ; Xiong Fan; Joshua Gancher; Benjamin Grégoire; Charlie Jacomme; Elaine Shi;
PUBLISHED: 2018, SOURCE: CCS
INDEXED IN: DBLP
85
TITLE: *-Liftings for Differential Privacy
AUTHORS: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: ICALP
INDEXED IN: DBLP
86
TITLE: A Fast and Verified Software Stack for Secure Function Evaluation
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Pereira, V ;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
INDEXED IN: Scopus WOS DBLP CrossRef: 21 Unpaywall
87
TITLE: A Note on 'Further Improving Efficiency of Higher-Order Masking Scheme by Decreasing Randomness Complexity'
AUTHORS: Gilles Barthe ; François Dupressoir; Benjamin Grégoire;
PUBLISHED: 2017, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2017
INDEXED IN: DBLP
88
TITLE: A relational logic for higher-order programs
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: Proc. ACM Program. Lang., VOLUME: 1, ISSUE: ICFP
INDEXED IN: DBLP
89
TITLE: Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions
AUTHORS: Miguel Ambrona; Gilles Barthe ; Romain Gay; Hoeteck Wee;
PUBLISHED: 2017, SOURCE: CCS
INDEXED IN: DBLP
90
TITLE: Coupling proofs are probabilistic product programs
AUTHORS: Gilles Barthe ; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: POPL
INDEXED IN: DBLP
Page 9 of 13. Total results: 123.

footer slogan

Useful Links

Get Help

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