Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 163



51
TITLE: Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification
AUTHORS: Gilles Barthe ; Marc Gourjon; Benjamin Grégoire; Maximilian Orlt; Clara Paglialonga; Lars Porth;
PUBLISHED: 2020, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2020
INDEXED IN: DBLP
IN MY: DBLP
52
TITLE: Model-Agnostic Counterfactual Explanations for Consequential Decisions
AUTHORS: Amir Hossein Karimi; Gilles Barthe ; Borja Balle; Isabel Valera;
PUBLISHED: 2020, SOURCE: The 23rd International Conference on Artificial Intelligence and Statistics, AISTATS 2020, 26-28 August 2020, Online [Palermo, Sicily, Italy], VOLUME: 108
INDEXED IN: DBLP
IN MY: DBLP
53
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: Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, VOLUME: 12075
INDEXED IN: DBLP
IN MY: DBLP
54
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: CoRR, VOLUME: abs/2002.08489
INDEXED IN: DBLP
IN MY: DBLP
55
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
IN MY: DBLP
56
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
IN MY: DBLP
57
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
IN MY: DBLP
58
TITLE: Scaling Guarantees for Nearest Counterfactual Explanations
AUTHORS: Kiarash Mohammadi; Amir Hossein Karimi; Gilles Barthe ; Isabel Valera;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2010.04965
INDEXED IN: DBLP
IN MY: DBLP
59
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
IN MY: DBLP
60
TITLE: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Gregoire, 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: 22
IN MY: DBLP
Page 6 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