Gilles Barthe


AuthID: R-00H-7MM

Confirmed Publications: 163



141
TITLE: Differentially Private Bayesian Programming
AUTHORS: Gilles Barthe ; Gian Pietro Farina; Marco Gaboardi; Emilio Jesús Gallego Arias; Andy Gordon; Justin Hsu; Pierre Yves Strub;
PUBLISHED: 2016, SOURCE: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016
INDEXED IN: DBLP
IN MY: DBLP
142
TITLE: Product programs and relational program logics
AUTHORS: Gilles Barthe ; Juan Manuel Crespo; César Kunz;
PUBLISHED: 2016, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 85, ISSUE: 5
INDEXED IN: DBLP
IN MY: DBLP
143
TITLE: Programming language techniques for differential privacy
AUTHORS: Gilles Barthe ; Marco Gaboardi; Justin Hsu; Benjamin C Pierce;
PUBLISHED: 2016, SOURCE: ACM SIGLOG News, VOLUME: 3, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
144
TITLE: Strong Non-Interference and Type-Directed Higher-Order Masking
AUTHORS: Gilles Barthe ; Sonia Belaïd; François Dupressoir; Pierre Alain Fouque; Benjamin Grégoire; Pierre Yves Strub; Rébecca Zucchini;
PUBLISHED: 2016, SOURCE: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016
INDEXED IN: DBLP
IN MY: DBLP
145
TITLE: Strongly-optimal structure preserving signatures from Type II pairings: synthesis and lower bounds
AUTHORS: Gilles Barthe ; Edvard Fagerholm; Dario Fiore; Andre Scedrov; Benedikt Schmidt; Mehdi Tibouchi;
PUBLISHED: 2016, SOURCE: IET Inf. Secur., VOLUME: 10, ISSUE: 6
INDEXED IN: DBLP
IN MY: DBLP
146
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
IN MY: DBLP
147
TITLE: Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir;
PUBLISHED: 2016, SOURCE: 23rd International Conference on Fast Software Encryption (FSE) in FAST SOFTWARE ENCRYPTION (FSE 2016), VOLUME: 9783
INDEXED IN: Scopus WOS DBLP CrossRef: 23
IN MY: DBLP
148
TITLE: Verifying Constant-Time Implementations
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Michael Emmi;
PUBLISHED: 2016, SOURCE: 25th USENIX Security Symposium in PROCEEDINGS OF THE 25TH USENIX SECURITY SYMPOSIUM
INDEXED IN: WOS DBLP
IN MY: DBLP
149
TITLE: Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; François Dupressoir;
PUBLISHED: 2015, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2015
INDEXED IN: DBLP
IN MY: DBLP
150
TITLE: Verified Implementations for Secure and Verifiable Computation
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Guillaume Davy; François Dupressoir; Benjamin Grégoire; Pierre Yves Strub;
PUBLISHED: 2014, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2014
INDEXED IN: DBLP
IN MY: DBLP
Page 15 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