Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 163



61
TITLE: Universal equivalence and majority of probabilistic programs over finite fields
AUTHORS: Gilles Barthe ; Charlie Jacomme; Steve Kremer;
PUBLISHED: 2020, SOURCE: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020.
INDEXED IN: DBLP
IN MY: DBLP
62
TITLE: A Machine-Checked Proof of Security for AWS Key Management Service  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Campagna, M; Cohen, E; Gregoire, B; Pereira, V; Portela, B ; Strub, PY; Tasiran, S;
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: 14
IN MY: DBLP
63
TITLE: A Probabilistic Separation Logic PDF
AUTHORS: Gilles Barthe ; Justin Hsu; Kevin Liao;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.10708
INDEXED IN: DBLP arXiv
IN MY: DBLP
64
TITLE: A relational logic for higher-order programs
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: J. Funct. Program., VOLUME: 29
INDEXED IN: DBLP
IN MY: DBLP
65
TITLE: Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy
AUTHORS: Tetsuya Sato; Gilles Barthe ; Marco Gaboardi; Justin Hsu; Shin ya Katsumata;
PUBLISHED: 2019, SOURCE: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019
INDEXED IN: DBLP
IN MY: DBLP
66
TITLE: Automated Analysis of Cryptographic Assumptions in Generic Group Models
AUTHORS: Gilles Barthe ; Edvard Fagerholm; Dario Fiore; John C Mitchell; Andre Scedrov; Benedikt Schmidt;
PUBLISHED: 2019, SOURCE: J. Cryptol., VOLUME: 32, ISSUE: 2
INDEXED IN: DBLP
IN MY: DBLP
67
TITLE: Automated Methods for Checking Differential Privacy PDF
AUTHORS: Gilles Barthe ; Rohit Chadha; Vishal Jagannath; Prasad P Sistla; Mahesh Viswanathan;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1910.04137
INDEXED IN: DBLP arXiv
IN MY: DBLP
68
TITLE: Bidirectional type checking for relational properties
AUTHORS: Ezgi Çiçek; Weihao Qu; Gilles Barthe ; Marco Gaboardi; Deepak Garg;
PUBLISHED: 2019, SOURCE: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019.
INDEXED IN: DBLP
IN MY: DBLP
69
TITLE: Coupling Techniques for Reasoning about Quantum Programs PDF
AUTHORS: Gilles Barthe ; Justin Hsu; Mingsheng Ying; Nengkun Yu; Li Zhou;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1901.05184
INDEXED IN: DBLP arXiv
IN MY: DBLP
70
TITLE: FaCT: a DSL for timing-sensitive computation
AUTHORS: Sunjay Cauligi; Gary Soeller; Brian Johannesmeyer; Fraser Brown; Riad S Wahby; John Renner; Benjamin Grégoire; Gilles Barthe ; Ranjit Jhala; Deian Stefan;
PUBLISHED: 2019, SOURCE: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019.
INDEXED IN: DBLP
IN MY: DBLP
Page 7 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