Gilles Barthe
AuthID: R-00H-7MM
21
TITLE: Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
AUTHORS: Martin Avanzini; Gilles Barthe; Benjamin Grégoire; Georg Moser; Gabriele Vanoni;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: OOPSLA1
AUTHORS: Martin Avanzini; Gilles Barthe; Benjamin Grégoire; Georg Moser; Gabriele Vanoni;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: OOPSLA1
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP22
TITLE: "These results must be false": A usability evaluation of constant-time analysis tools
AUTHORS: Marcel Fourné; Daniel De Almeida Braga; Jan Jancar; Mohamed Sabt; Peter Schwabe; Gilles Barthe; Pierre Alain Fouque; Yasemin Acar;
PUBLISHED: 2024, SOURCE: USENIX Security Symposium
AUTHORS: Marcel Fourné; Daniel De Almeida Braga; Jan Jancar; Mohamed Sabt; Peter Schwabe; Gilles Barthe; Pierre Alain Fouque; Yasemin Acar;
PUBLISHED: 2024, SOURCE: USENIX Security Symposium
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP23
TITLE: OBRA: Oracle-Based, Relational, Algorithmic Type Verification
AUTHORS: Elizaveta Vasilenko; Niki Vazou; Gilles Barthe;
PUBLISHED: 2024, SOURCE: APLAS
AUTHORS: Elizaveta Vasilenko; Niki Vazou; Gilles Barthe;
PUBLISHED: 2024, SOURCE: APLAS
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP24
TITLE: A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
AUTHORS: Vineet Rajani; Gilles Barthe; Deepak Garg;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: OOPSLA2
AUTHORS: Vineet Rajani; Gilles Barthe; Deepak Garg;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: OOPSLA2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP25
TITLE: Laws of Quantum Programming
AUTHORS: Mingsheng Ying; Li Zhou; Gilles Barthe;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2412.19463
AUTHORS: Mingsheng Ying; Li Zhou; Gilles Barthe;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2412.19463
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP26
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
DBLP27
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
DBLP28
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
DBLP29
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
DBLP30
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
DBLP