Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 123



41
TITLE: Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations
AUTHORS: Gilles Barthe ; Sonia Belaïd; François Dupressoir; Pierre Alain Fouque; Benjamin Grégoire; François Xavier Standaert; Pierre Yves Strub;
PUBLISHED: 2020, SOURCE: J. Cryptogr. Eng., VOLUME: 10, ISSUE: 1
INDEXED IN: DBLP
42
TITLE: Model-Agnostic Counterfactual Explanations for Consequential Decisions
AUTHORS: Amir Hossein Karimi; Gilles Barthe ; Borja Balle; Isabel Valera;
PUBLISHED: 2020, SOURCE: AISTATS
INDEXED IN: DBLP
43
TITLE: On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem
AUTHORS: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLISHED: 2020, SOURCE: ESOP
INDEXED IN: DBLP
44
TITLE: PanCast: Listening to Bluetooth Beacons for Epidemic Risk Mitigation
AUTHORS: Gilles Barthe ; Roberta De Viti; Peter Druschel; Deepak Garg; Manuel Gomez Rodriguez; Pierfrancesco Ingo; Matthew Lentz; Aastha Mehta; Bernhard Schölkopf;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2011.08069
INDEXED IN: DBLP
45
TITLE: Privacy Profiles and Amplification by Subsampling
AUTHORS: Borja Balle; Gilles Barthe ; Marco Gaboardi;
PUBLISHED: 2020, SOURCE: J. Priv. Confidentiality, VOLUME: 10, ISSUE: 1
INDEXED IN: DBLP
46
TITLE: Relational proofs for quantum programs
AUTHORS: Gilles Barthe ; Justin Hsu; Mingsheng Ying; Nengkun Yu; Li Zhou;
PUBLISHED: 2020, SOURCE: Proc. ACM Program. Lang., VOLUME: 4, ISSUE: POPL
INDEXED IN: DBLP
47
TITLE: System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory
AUTHORS: Gilles Barthe ; Gustavo Betarte; Juan Diego Campo; Carlos Luna; David Pichardie;
PUBLISHED: 2020, SOURCE: J. Autom. Reason., VOLUME: 64, ISSUE: 8
INDEXED IN: DBLP
48
TITLE: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Grégoire, B; Koutsos, A; Laporte, V; Oliveira, T ; Strub, PY;
PUBLISHED: 2020, SOURCE: 41st IEEE Symposium on Security and Privacy (SP) in 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), VOLUME: 2020-May
INDEXED IN: Scopus WOS DBLP CrossRef: 36
49
TITLE: Universal equivalence and majority of probabilistic programs over finite fields
AUTHORS: Gilles Barthe ; Charlie Jacomme; Steve Kremer;
PUBLISHED: 2020, SOURCE: LICS
INDEXED IN: DBLP
50
TITLE: A Machine-Checked Proof of Security for AWS Key Management Service
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19)
INDEXED IN: Scopus WOS DBLP CrossRef: 19
Page 5 of 13. Total results: 123.

footer slogan

Useful Links

Get Help

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