Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 163



11
TITLE: On Feller continuity and full abstraction
AUTHORS: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLISHED: 2022, SOURCE: Proc. ACM Program. Lang., VOLUME: 6, ISSUE: ICFP
INDEXED IN: DBLP
IN MY: DBLP
12
TITLE: On Feller Continuity and Full Abstraction (Long Version)
AUTHORS: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2207.10590
INDEXED IN: DBLP
IN MY: DBLP
13
TITLE: Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs
AUTHORS: Junyi Liu; Li Zhou; Gilles Barthe ; Mingsheng Ying;
PUBLISHED: 2022, SOURCE: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022
INDEXED IN: DBLP
IN MY: DBLP
14
TITLE: Safe couplings: coupled refinement types
AUTHORS: Elizaveta Vasilenko; Niki Vazou; Gilles Barthe ;
PUBLISHED: 2022, SOURCE: Proc. ACM Program. Lang., VOLUME: 6, ISSUE: ICFP
INDEXED IN: DBLP
IN MY: DBLP
15
TITLE: Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
AUTHORS: Gilles Barthe ; Adrien Koutsos; Solène Mirliaz; David Pichardie; Peter Schwabe;
PUBLISHED: 2022, SOURCE: Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings, VOLUME: 13790
INDEXED IN: DBLP
IN MY: DBLP
16
TITLE: SoK: Practical Foundations for Software Spectre Defenses
AUTHORS: Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe ; Deian Stefan;
PUBLISHED: 2022, SOURCE: 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022
INDEXED IN: DBLP
IN MY: DBLP
17
TITLE: Spectre Declassified: Reading from the Right Place at the Wrong Time
AUTHORS: Basavesh Ammanaghatta Shivakumar; Jack Barnes; Gilles Barthe ; Sunjay Cauligi; Chitchanok Chuengsatiansup; Daniel Genkin; Sioli O'Connell; Peter Schwabe; Rui Qi Sim; Yuval Yarom;
PUBLISHED: 2022, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2022
INDEXED IN: DBLP
IN MY: DBLP
18
TITLE: Symbolic Synthesis of Indifferentiability Attacks
AUTHORS: Itsaka Rakotonirina; Miguel Ambrona; Alejandro Aguirre; Gilles Barthe ;
PUBLISHED: 2022, SOURCE: ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022 - 3 June 2022
INDEXED IN: DBLP
IN MY: DBLP
19
TITLE: Tidy: Symbolic Verification of Timed Cryptographic Protocols
AUTHORS: Gilles Barthe ; Ugo Dal Lago; Giulio Malavolta; Itsaka Rakotonirina;
PUBLISHED: 2022, SOURCE: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022
INDEXED IN: DBLP
IN MY: DBLP
20
TITLE: Typing High-Speed Cryptography against Spectre v1
AUTHORS: Basavesh Ammanaghatta Shivakumar; Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Swarn Priya; Peter Schwabe; Lucas Tabary Maujean;
PUBLISHED: 2022, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2022
INDEXED IN: DBLP
IN MY: DBLP
Page 2 of 17. Total results: 163.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service