Gilles Barthe
AuthID: R-00H-7MM
31
TITLE: Ultimate SLH: Taking Speculative Load Hardening to the Next Level
AUTHORS: Zhiyuan Zhang; Gilles Barthe; Chitchanok Chuengsatiansup; Peter Schwabe; Yuval Yarom;
PUBLISHED: 2023, SOURCE: USENIX Security Symposium
AUTHORS: Zhiyuan Zhang; Gilles Barthe; Chitchanok Chuengsatiansup; Peter Schwabe; Yuval Yarom;
PUBLISHED: 2023, SOURCE: USENIX Security Symposium
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP32
TITLE: Foundations of Probabilistic Programming
AUTHORS: Gilles Barthe; Joost Pieter Katoen; Alexandra Silva;
PUBLISHED: 2020
AUTHORS: Gilles Barthe; Joost Pieter Katoen; Alexandra Silva;
PUBLISHED: 2020
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP33
TITLE: Probabilistic Couplings from Program Logics
AUTHORS: Gilles Barthe; Justin Hsu;
PUBLISHED: 2020, SOURCE: Foundations of Probabilistic Programming
AUTHORS: Gilles Barthe; Justin Hsu;
PUBLISHED: 2020, SOURCE: Foundations of Probabilistic Programming
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP34
TITLE: A Program Logic for Union Bounds
AUTHORS: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2016, SOURCE: ICALP
AUTHORS: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2016, SOURCE: ICALP
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP35
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
DBLP36
TITLE: Security and Trust Management - 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
AUTHORS: Gilles Barthe; Evangelos P Markatos; Pierangela Samarati;
PUBLISHED: 2016, SOURCE: STM, VOLUME: 9871
AUTHORS: Gilles Barthe; Evangelos P Markatos; Pierangela Samarati;
PUBLISHED: 2016, SOURCE: STM, VOLUME: 9871
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP37
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
DBLP38
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
DBLP39
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
DBLP40
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
DBLP