Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 123



11
TITLE: Enforcing Fine-grained Constant-time Policies
AUTHORS: Basavesh Ammanaghatta Shivakumar; Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Swarn Priya;
PUBLISHED: 2022, SOURCE: CCS
INDEXED IN: DBLP
12
TITLE: Flux: Liquid Types for Rust
AUTHORS: Nico Lehmann; Adam T Geller; Gilles Barthe ; Niki Vazou; Ranjit Jhala;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2207.04034
INDEXED IN: DBLP
13
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
14
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
INDEXED IN: DBLP
15
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
16
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: SAS
INDEXED IN: DBLP
17
TITLE: SoK: Practical Foundations for Software Spectre Defenses
AUTHORS: Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe ; Deian Stefan;
PUBLISHED: 2022, SOURCE: SP
INDEXED IN: DBLP
18
TITLE: Symbolic Synthesis of Indifferentiability Attacks
AUTHORS: Itsaka Rakotonirina; Miguel Ambrona; Alejandro Aguirre; Gilles Barthe ;
PUBLISHED: 2022, SOURCE: AsiaCCS
INDEXED IN: DBLP
19
TITLE: Tidy: Symbolic Verification of Timed Cryptographic Protocols
AUTHORS: Gilles Barthe ; Ugo Dal Lago; Giulio Malavolta; Itsaka Rakotonirina;
PUBLISHED: 2022, SOURCE: CCS
INDEXED IN: DBLP
20
TITLE: Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
AUTHORS: Gilles Barthe ; Charlie Jacomme; Steve Kremer;
PUBLISHED: 2022, SOURCE: ACM Trans. Comput. Log., VOLUME: 23, ISSUE: 1
INDEXED IN: DBLP
Page 2 of 13. Total results: 123.

footer slogan

Useful Links

Get Help

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