Gilles Barthe
AuthID: R-00H-7MM
21
TÃTULO: High-assurance zeroization
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Ruben Gonzalez; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Peter Schwabe;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023
AUTORES: Santiago Arranz Olmos; Gilles Barthe; Ruben Gonzalez; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Peter Schwabe;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP22
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
DBLP23
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
DBLP24
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
DBLP25
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
DBLP26
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
DBLP27
TÃTULO: Synthesizing Probabilistic Invariants via Doob's Decomposition PDF
AUTORES: Gilles Barthe; Thomas Espitau; Luis María Ferrer Fioriti; Justin Hsu;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1605.02765
AUTORES: Gilles Barthe; Thomas Espitau; Luis María Ferrer Fioriti; Justin Hsu;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1605.02765
INDEXADO EM: DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP28
TÃTULO: Differentially Private Bayesian Programming PDF
AUTORES: Gilles Barthe; Gian Pietro Farina; Marco Gaboardi; Emilio Jesús Gallego Arias; Andy Gordon; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1605.00283
AUTORES: Gilles Barthe; Gian Pietro Farina; Marco Gaboardi; Emilio Jesús Gallego Arias; Andy Gordon; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1605.00283
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP29
TÃTULO: Proving Differential Privacy via Probabilistic Couplings PDF
AUTORES: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1601.05047
AUTORES: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1601.05047
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP30
TÃTULO: A program logic for union bounds PDF
AUTORES: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1602.05681
AUTORES: Gilles Barthe; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1602.05681
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP