Gilles Barthe
AuthID: R-00H-7MM
21
TÃTULO: Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
AUTORES: Martin Avanzini; Gilles Barthe; Benjamin Grégoire; Georg Moser; Gabriele Vanoni;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: OOPSLA1
AUTORES: Martin Avanzini; Gilles Barthe; Benjamin Grégoire; Georg Moser; Gabriele Vanoni;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: OOPSLA1
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP22
TÃTULO: "These results must be false": A usability evaluation of constant-time analysis tools
AUTORES: Marcel Fourné; Daniel De Almeida Braga; Jan Jancar; Mohamed Sabt; Peter Schwabe; Gilles Barthe; Pierre Alain Fouque; Yasemin Acar;
PUBLICAÇÃO: 2024, FONTE: USENIX Security Symposium
AUTORES: Marcel Fourné; Daniel De Almeida Braga; Jan Jancar; Mohamed Sabt; Peter Schwabe; Gilles Barthe; Pierre Alain Fouque; Yasemin Acar;
PUBLICAÇÃO: 2024, FONTE: USENIX Security Symposium
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP23
TÃTULO: OBRA: Oracle-Based, Relational, Algorithmic Type Verification
AUTORES: Elizaveta Vasilenko; Niki Vazou; Gilles Barthe;
PUBLICAÇÃO: 2024, FONTE: APLAS
AUTORES: Elizaveta Vasilenko; Niki Vazou; Gilles Barthe;
PUBLICAÇÃO: 2024, FONTE: APLAS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP24
TÃTULO: A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
AUTORES: Vineet Rajani; Gilles Barthe; Deepak Garg;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: OOPSLA2
AUTORES: Vineet Rajani; Gilles Barthe; Deepak Garg;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: OOPSLA2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP25
TÃTULO: Laws of Quantum Programming
AUTORES: Mingsheng Ying; Li Zhou; Gilles Barthe;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2412.19463
AUTORES: Mingsheng Ying; Li Zhou; Gilles Barthe;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2412.19463
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP26
TÃTULO: Ultimate SLH: Taking Speculative Load Hardening to the Next Level
AUTORES: Zhiyuan Zhang; Gilles Barthe; Chitchanok Chuengsatiansup; Peter Schwabe; Yuval Yarom;
PUBLICAÇÃO: 2023, FONTE: USENIX Security Symposium
AUTORES: Zhiyuan Zhang; Gilles Barthe; Chitchanok Chuengsatiansup; Peter Schwabe; Yuval Yarom;
PUBLICAÇÃO: 2023, FONTE: USENIX Security Symposium
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP27
TÃTULO: Probabilistic Couplings from Program Logics
AUTORES: Gilles Barthe; Justin Hsu;
PUBLICAÇÃO: 2020, FONTE: Foundations of Probabilistic Programming
AUTORES: Gilles Barthe; Justin Hsu;
PUBLICAÇÃO: 2020, FONTE: Foundations of Probabilistic Programming
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP28
TÃTULO: A Program Logic for Union Bounds
AUTORES: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: ICALP
AUTORES: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: ICALP
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP29
TÃTULO: Proving Differential Privacy via Probabilistic Couplings
AUTORES: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: LICS
AUTORES: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: LICS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP30
TÃTULO: Computer-Aided Verification for Mechanism Design
AUTORES: Gilles Barthe; Marco Gaboardi; Emilio Jesús Gallego Arias; Justin Hsu; Aaron Roth; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: WINE
AUTORES: Gilles Barthe; Marco Gaboardi; Emilio Jesús Gallego Arias; Justin Hsu; Aaron Roth; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: WINE
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP