Gilles Barthe
AuthID: R-00H-7MM
11
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, ISSUE: 3
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, ISSUE: 3
12
TITLE: High-assurance zeroization
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Ruben Gonzalez; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Peter Schwabe;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023
AUTHORS: Santiago Arranz Olmos; Gilles Barthe; Ruben Gonzalez; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Peter Schwabe;
PUBLISHED: 2023, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2023
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP13
TITLE: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTHORS: Manuel Barbosa ; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu;
PUBLISHED: 2022, SOURCE: Advances in Cryptology – CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Proceedings in Advances in Cryptology - CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part V, VOLUME: 14085
AUTHORS: Manuel Barbosa ; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu;
PUBLISHED: 2022, SOURCE: Advances in Cryptology – CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Proceedings in Advances in Cryptology - CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part V, VOLUME: 14085
14
TITLE: A Program Logic for Union Bounds
AUTHORS: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2016, SOURCE: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy, VOLUME: 55
AUTHORS: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2016, SOURCE: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy, VOLUME: 55
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP15
TITLE: Facets of Software Doping
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Bernd Finkbeiner; Holger Hermanns;
PUBLISHED: 2016, SOURCE: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, VOLUME: 9953
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Bernd Finkbeiner; Holger Hermanns;
PUBLISHED: 2016, SOURCE: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, VOLUME: 9953
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP16
TITLE: Proving Differential Privacy via Probabilistic Couplings
AUTHORS: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2016, SOURCE: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016
AUTHORS: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2016, SOURCE: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP17
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
DBLP18
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: Web and Internet Economics - 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings, VOLUME: 10123
AUTHORS: Gilles Barthe; Marco Gaboardi; Emilio Jesús Gallego Arias; Justin Hsu; Aaron Roth; Pierre Yves Strub;
PUBLISHED: 2016, SOURCE: Web and Internet Economics - 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings, VOLUME: 10123
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP19
TITLE: Synthesizing Probabilistic Invariants via Doob's Decomposition PDF
AUTHORS: Gilles Barthe; Thomas Espitau; Luis María Ferrer Fioriti; Justin Hsu;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1605.02765
AUTHORS: Gilles Barthe; Thomas Espitau; Luis María Ferrer Fioriti; Justin Hsu;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1605.02765
INDEXED IN: DBLP 
arXiv
DBLP arXiv IN MY: DBLP
DBLP20
TITLE: Differentially Private Bayesian Programming PDF
AUTHORS: Gilles Barthe; Gian Pietro Farina; Marco Gaboardi; Emilio Jesús Gallego Arias; Andy Gordon; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1605.00283
AUTHORS: Gilles Barthe; Gian Pietro Farina; Marco Gaboardi; Emilio Jesús Gallego Arias; Andy Gordon; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1605.00283
INDEXED IN: DBLP arXiv
DBLP arXiv IN MY: DBLP
DBLP