Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 123



71
TITLE: Almost Sure Productivity
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Justin Hsu; Alexandra Silva;
PUBLISHED: 2018, SOURCE: ICALP
INDEXED IN: DBLP
72
TITLE: An Assertion-Based Program Logic for Probabilistic Programs
AUTHORS: Gilles Barthe ; Thomas Espitau; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2018, SOURCE: ESOP
INDEXED IN: DBLP
73
TITLE: Formal verification of higher-order probabilistic programs
AUTHORS: Tetsuya Sato; Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Justin Hsu;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.06091
INDEXED IN: DBLP
74
TITLE: hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Pacheco, H ; Pereira, V ; Portela, B ;
PUBLISHED: 2018, SOURCE: 31st IEEE Computer Security Foundations Symposium (CSF) held as part of the Federated Logic Conference (FLoC) in IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), VOLUME: 2018-July
INDEXED IN: Scopus WOS DBLP CrossRef: 9 Unpaywall
75
TITLE: LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018
AUTHORS: Gilles Barthe ; Konstantin Korovin; Stephan Schulz; Martin Suda; Geoff Sutcliffe; Margus Veanes;
PUBLISHED: 2018, SOURCE: LPAR (Workshop and Short Papers), VOLUME: 9
INDEXED IN: DBLP
IN MY: DBLP
76
77
TITLE: Masking the GLP Lattice-Based Signature Scheme at Any Order
AUTHORS: Gilles Barthe ; Sonia Belaïd; Thomas Espitau; Pierre Alain Fouque; Benjamin Grégoire; Mélissa Rossi; Mehdi Tibouchi;
PUBLISHED: 2018, SOURCE: EUROCRYPT (2)
INDEXED IN: DBLP
78
TITLE: maskVerif: a formal tool for analyzing software and hardware masked implementations
AUTHORS: Gilles Barthe ; Sonia Belaïd; Pierre Alain Fouque; Benjamin Grégoire;
PUBLISHED: 2018, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2018
INDEXED IN: DBLP
79
TITLE: Monadic refinements for relational cost analysis
AUTHORS: Ivan Radicek; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Florian Zuleger;
PUBLISHED: 2018, SOURCE: Proc. ACM Program. Lang., VOLUME: 2, ISSUE: POPL
INDEXED IN: DBLP
80
TITLE: Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences
AUTHORS: Borja Balle; Gilles Barthe ; Marco Gaboardi;
PUBLISHED: 2018, SOURCE: NeurIPS
INDEXED IN: DBLP
Page 8 of 13. Total results: 123.

footer slogan

Useful Links

Get Help

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