Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 123



21
TITLE: A pre-expectation calculus for probabilistic sensitivity
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Justin Hsu; Benjamin Lucien Kaminski; Joost Pieter Katoen; Christoph Matheja;
PUBLISHED: 2021, SOURCE: Proc. ACM Program. Lang., VOLUME: 5, ISSUE: POPL
INDEXED IN: DBLP
22
TITLE: A Quantum Interpretation of Bunched Logic & Quantum Separation Logic
AUTHORS: Li Zhou; Gilles Barthe ; Justin Hsu; Mingsheng Ying; Nengkun Yu;
PUBLISHED: 2021, SOURCE: LICS
INDEXED IN: DBLP
23
TITLE: Deciding accuracy of differential privacy schemes
AUTHORS: Gilles Barthe ; Rohit Chadha; Paul Krogmeier; Prasad P Sistla; Mahesh Viswanathan;
PUBLISHED: 2021, SOURCE: Proc. ACM Program. Lang., VOLUME: 5, ISSUE: POPL
INDEXED IN: DBLP
24
TITLE: EasyPQC: Verifying Post-Quantum Cryptography
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Fan, Xiong; Gregoire, Benjamin; Hung, Shih Han; Katz, Jonathan; Strub, Pierre Yves; Wu, Xiaodi; Zhou, Li;
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: Scopus WOS DBLP CrossRef: 21
25
TITLE: High-Assurance Cryptography in the Spectre Era  Full Text
AUTHORS: Gilles Barthe ; Sunjay Cauligi; Benjamin Grégoire; Adrien Koutsos; Kevin Liao; Tiago Oliveira; Swarn Priya; Tamara Rezk; Peter Schwabe;
PUBLISHED: 2021, SOURCE: SP, VOLUME: 2021-May
INDEXED IN: Scopus DBLP CrossRef: 23
26
TITLE: Higher-order probabilistic adversarial computations: categorical semantics and program logics
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Shin ya Katsumata; Tetsuya Sato;
PUBLISHED: 2021, SOURCE: Proc. ACM Program. Lang., VOLUME: 5, ISSUE: ICFP
INDEXED IN: DBLP
27
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
28
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: 12
29
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
30
TITLE: Scaling Guarantees for Nearest Counterfactual Explanations
AUTHORS: Kiarash Mohammadi; Amir Hossein Karimi; Gilles Barthe ; Isabel Valera;
PUBLISHED: 2021, SOURCE: AIES
INDEXED IN: DBLP
Page 3 of 13. Total results: 123.

footer slogan

Useful Links

Get Help

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