Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 123



61
TITLE: Kantorovich Continuity of Probabilistic Programs
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Justin Hsu; Benjamin Lucien Kaminski; Joost Pieter Katoen; Christoph Matheja;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1901.06540
INDEXED IN: DBLP
62
TITLE: Machine-Checked Proofs for Cryptographic Standards
AUTHORS: José Bacelar Almeida ; Cécile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019
INDEXED IN: DBLP
63
TITLE: Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3. Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3
AUTHORS: Almeida, JB ; Baritel Ruet, C; Barbosa, M ; Barthe, G ; Dupressoir, F; Grégoire, B; Laporte, V; Oliveira, T ; Stoughton, A; Strub, PY;
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: 29
64
TITLE: maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults
AUTHORS: Gilles Barthe ; Sonia Belaïd; Gaëtan Cassiers; Pierre Alain Fouque; Benjamin Grégoire; François Xavier Standaert;
PUBLISHED: 2019, SOURCE: ESORICS (1)
INDEXED IN: DBLP
65
TITLE: Privacy Amplification by Mixing and Diffusion Mechanisms
AUTHORS: Borja Balle; Gilles Barthe ; Marco Gaboardi; Joseph Geumlek;
PUBLISHED: 2019, SOURCE: NeurIPS
INDEXED IN: DBLP
66
TITLE: Program for TPDP 2016
AUTHORS: Gilles Barthe ; Christos Dimitrakakis; Marco Gaboardi; Andreas Haeberlen; Aaron Roth; Aleksandra B Slavkovic;
PUBLISHED: 2019, SOURCE: J. Priv. Confidentiality, VOLUME: 9, ISSUE: 1
INDEXED IN: DBLP
67
TITLE: Relational ⋆⋆\star-Liftings for Differential Privacy
AUTHORS: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: Log. Methods Comput. Sci., VOLUME: 15, ISSUE: 4
INDEXED IN: DBLP
68
TITLE: Symbolic Methods in Computational Cryptography Proofs
AUTHORS: Gilles Barthe ; Benjamin Grégoire; Charlie Jacomme; Steve Kremer; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: CSF
INDEXED IN: DBLP
69
TITLE: System-Level Non-interference of Constant-Time Cryptography. Part I: Model
AUTHORS: Gilles Barthe ; Gustavo Betarte; Juan Diego Campo; Carlos Luna;
PUBLISHED: 2019, SOURCE: J. Autom. Reason., VOLUME: 63, ISSUE: 1
INDEXED IN: DBLP
70
TITLE: Verifying Relational Properties using Trace Logic
AUTHORS: Gilles Barthe ; Renate Eilers; Pamina Georgiou; Bernhard Gleiss; Laura Kovács; Matteo Maffei;
PUBLISHED: 2019, SOURCE: FMCAD
INDEXED IN: DBLP
Page 7 of 13. Total results: 123.

footer slogan

Useful Links

Get Help

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