Gilles Barthe
AuthID: R-00H-7MM
11
TÃTULO: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTORES: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLICAÇÃO: 2023, FONTE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085
AUTORES: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLICAÇÃO: 2023, FONTE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085
12
TÃTULO: CoqQ: Foundational Verification of Quantum Programs
AUTORES: Li Zhou; Gilles Barthe; Pierre Yves Strub; Junyi Liu; Mingsheng Ying;
PUBLICAÇÃO: 2023, FONTE: Proc. ACM Program. Lang., VOLUME: 7, NÚMERO: POPL
AUTORES: Li Zhou; Gilles Barthe; Pierre Yves Strub; Junyi Liu; Mingsheng Ying;
PUBLICAÇÃO: 2023, FONTE: Proc. ACM Program. Lang., VOLUME: 7, NÚMERO: POPL
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP13
TÃTULO: Spectre Declassified: Reading from the Right Place at the Wrong Time
AUTORES: Basavesh Ammanaghatta Shivakumar; Jack Barnes; Gilles Barthe; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Sioli O'Connell; Peter Schwabe; Rui Qi Sim; Yuval Yarom;
PUBLICAÇÃO: 2023, FONTE: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023
AUTORES: Basavesh Ammanaghatta Shivakumar; Jack Barnes; Gilles Barthe; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Sioli O'Connell; Peter Schwabe; Rui Qi Sim; Yuval Yarom;
PUBLICAÇÃO: 2023, FONTE: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP14
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: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023
AUTORES: Zhiyuan Zhang; Gilles Barthe; Chitchanok Chuengsatiansup; Peter Schwabe; Yuval Yarom;
PUBLICAÇÃO: 2023, FONTE: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP15
TÃTULO: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTORES: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLICAÇÃO: 2023, FONTE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, NÚMERO: 3
AUTORES: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLICAÇÃO: 2023, FONTE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, NÚMERO: 3
16
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: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy, VOLUME: 55
AUTORES: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy, VOLUME: 55
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP17
TÃTULO: Facets of Software Doping
AUTORES: Gilles Barthe; Pedro R D'Argenio; Bernd Finkbeiner; Holger Hermanns;
PUBLICAÇÃO: 2016, FONTE: 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
AUTORES: Gilles Barthe; Pedro R D'Argenio; Bernd Finkbeiner; Holger Hermanns;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP18
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: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016
AUTORES: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP19
TÃTULO: Security and Trust Management - 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
AUTORES: Gilles Barthe; Evangelos P Markatos; Pierangela Samarati;
PUBLICAÇÃO: 2016, FONTE: STM, VOLUME: 9871
AUTORES: Gilles Barthe; Evangelos P Markatos; Pierangela Samarati;
PUBLICAÇÃO: 2016, FONTE: STM, VOLUME: 9871
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP20
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: Web and Internet Economics - 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings, VOLUME: 10123
AUTORES: Gilles Barthe; Marco Gaboardi; Emilio Jesús Gallego Arias; Justin Hsu; Aaron Roth; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: Web and Internet Economics - 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings, VOLUME: 10123
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP