Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 163



31
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: 2021, SOURCE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2021, ISSUE: 2
INDEXED IN: DBLP
IN MY: DBLP
32
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY
INDEXED IN: WOS DBLP CrossRef: 6
IN MY: DBLP
33
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Pierre Yves Strub;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXED IN: DBLP
IN MY: DBLP
34
TITLE: On continuation-passing transformations and expected cost analysis
AUTHORS: Martin Avanzini; Gilles Barthe ; Ugo Dal Lago;
PUBLISHED: 2021, SOURCE: Proc. ACM Program. Lang., VOLUME: 5, ISSUE: ICFP
INDEXED IN: DBLP
IN MY: DBLP
35
TITLE: Scaling Guarantees for Nearest Counterfactual Explanations
AUTHORS: Kiarash Mohammadi; Amir Hossein Karimi; Gilles Barthe ; Isabel Valera;
PUBLISHED: 2021, SOURCE: AIES '21: AAAI/ACM Conference on AI, Ethics, and Society, Virtual Event, USA, May 19-21, 2021
INDEXED IN: DBLP
IN MY: DBLP
36
TITLE: Secure Compilation of Constant-Resource Programs
AUTHORS: Gilles Barthe ; Sandrine Blazy; Rémi Hutin; David Pichardie;
PUBLISHED: 2021, SOURCE: 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021
INDEXED IN: DBLP
IN MY: DBLP
37
TITLE: SoK: Computer-Aided Cryptography
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Karthik Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLISHED: 2021, SOURCE: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021
INDEXED IN: DBLP
IN MY: DBLP
38
TITLE: SoK: Practical Foundations for Spectre Defenses
AUTHORS: Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe ; Deian Stefan;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.05801
INDEXED IN: DBLP
IN MY: DBLP
39
TITLE: Structured Leakage and Applications to Cryptographic Constant-Time and Cost
AUTHORS: Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Swarn Priya;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021
INDEXED IN: DBLP
IN MY: DBLP
40
TITLE: Structured Leakage and Applications to Cryptographic Constant-Time and Cost
AUTHORS: Gilles Barthe ; Benjamin Grégoire; Vincent Laporte; Swarn Priya;
PUBLISHED: 2021, SOURCE: CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021
INDEXED IN: DBLP
IN MY: DBLP
Page 4 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