Thomas Espitau


AuthID: R-00K-HHT

Publications Requiring Validation

11
TITLE: Proving uniformity and independence by self-composition and coupling PDF
AUTHORS: Gilles Barthe ; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1701.06477
INDEXED IN: DBLP arXiv
12
TITLE: *-Liftings for Differential Privacy PDF
AUTHORS: Gilles Barthe ; Thomas Espitau; Justin Hsu; Tetsuya Sato; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1705.00133
INDEXED IN: DBLP arXiv
13
TITLE: Synthesizing Probabilistic Invariants via Doob's Decomposition
AUTHORS: Gilles Barthe ; Thomas Espitau; Luis María Ferrer Fioriti; Justin Hsu;
PUBLISHED: 2016, SOURCE: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, VOLUME: 9779
INDEXED IN: DBLP
14
TITLE: Synthesizing Probabilistic Invariants via Doob's Decomposition PDF
AUTHORS: Gilles Barthe; Thomas Espitau; Luis María Ferrer Fioriti; Justin Hsu;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1605.02765
INDEXED IN: DBLP arXiv
15
TITLE: Relational Reasoning via Probabilistic Coupling
AUTHORS: Gilles Barthe; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Léo Stefanesco; Pierre Yves Strub;
PUBLISHED: 2015, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, VOLUME: 9450
INDEXED IN: DBLP
16
TITLE: Relational reasoning via probabilistic coupling PDF
AUTHORS: Gilles Barthe; Thomas Espitau; Benjamin Grégoire; Justin Hsu; Léo Stefanesco; Pierre Yves Strub;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1509.03476
INDEXED IN: DBLP arXiv
Page 2 of 2. Total results: 16.

footer slogan

Useful Links

Get Help

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