Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 163



91
TITLE: Verifying Relational Properties using Trace Logic
AUTHORS: Gilles Barthe ; Renate Eilers; Pamina Georgiou; Bernhard Gleiss; Laura Kovács; Matteo Maffei;
PUBLISHED: 2019, SOURCE: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019
INDEXED IN: DBLP
IN MY: DBLP
92
TITLE: Verifying Relational Properties using Trace Logic PDF
AUTHORS: Gilles Barthe ; Renate Eilers; Pamina Georgiou; Bernhard Gleiss; Laura Kovács; Matteo Maffei;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1906.09899
INDEXED IN: DBLP arXiv
IN MY: DBLP
93
TITLE: Almost Sure Productivity PDF
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Justin Hsu; Alexandra Silva;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1802.06283
INDEXED IN: DBLP arXiv
IN MY: DBLP
94
TITLE: Almost Sure Productivity
AUTHORS: Alejandro Aguirre; Gilles Barthe ; Justin Hsu; Alexandra Silva;
PUBLISHED: 2018, SOURCE: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, VOLUME: 107
INDEXED IN: DBLP
IN MY: DBLP
95
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: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
INDEXED IN: DBLP
IN MY: DBLP
96
TITLE: An Assertion-Based Program Logic for Probabilistic Programs PDF
AUTHORS: Gilles Barthe ; Thomas Espitau; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1803.05535
INDEXED IN: DBLP arXiv
IN MY: DBLP
97
TITLE: Bidirectional Type Checking for Relational Properties PDF
AUTHORS: Ezgi Çiçek; Weihao Qu; Gilles Barthe ; Marco Gaboardi; Deepak Garg;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1812.05067
INDEXED IN: DBLP arXiv
IN MY: DBLP
98
TITLE: Facets of Software Doping PDF
AUTHORS: Gilles Barthe ; Pedro R D'Argenio; Bernd Finkbeiner; Holger Hermanns;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1803.10154
INDEXED IN: DBLP arXiv
IN MY: DBLP
99
TITLE: Formal verification of higher-order probabilistic programs PDF
AUTHORS: Tetsuya Sato; Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Justin Hsu;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.06091
INDEXED IN: DBLP arXiv
IN MY: DBLP
100
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: 6 Unpaywall
IN MY: DBLP
Page 10 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