Gilles Barthe


AuthID: R-00H-7MM

Publications Awaiting Confirmation

91
TITLE: Computer-Aided Security Proofs for the Working Cryptographer
AUTHORS: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Santiago Zanella Béguelin;
PUBLISHED: 2011, SOURCE: Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011. Proceedings, VOLUME: 6841
INDEXED IN: DBLP
IN MY: DBLP
92
TITLE: Information-Theoretic Bounds for Differentially Private Mechanisms
AUTHORS: Gilles Barthe; Boris Köpf;
PUBLISHED: 2011, SOURCE: Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, 27-29 June, 2011
INDEXED IN: DBLP
IN MY: DBLP
93
TITLE: Beyond Provable Security Verifiable IND-CCA Security of OAEP
AUTHORS: Gilles Barthe; Benjamin Grégoire; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLISHED: 2011, SOURCE: Topics in Cryptology - CT-RSA 2011 - The Cryptographers' Track at the RSA Conference 2011, San Francisco, CA, USA, February 14-18, 2011. Proceedings, VOLUME: 6558
INDEXED IN: DBLP
IN MY: DBLP
94
TITLE: Formally Verifying Isolation and Availability in an Idealized Model of Virtualization
AUTHORS: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna;
PUBLISHED: 2011, SOURCE: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, VOLUME: 6664
INDEXED IN: DBLP
IN MY: DBLP
95
TITLE: Relational Verification Using Product Programs
AUTHORS: Gilles Barthe; Juan Manuel Crespo; César Kunz;
PUBLISHED: 2011, SOURCE: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, VOLUME: 6664
INDEXED IN: DBLP
IN MY: DBLP
96
TITLE: A Computational Indistinguishability Logic for the Bounded Storage Model
AUTHORS: Gilles Barthe; Mathilde Duclos; Yassine Lakhnech;
PUBLISHED: 2011, SOURCE: Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers, VOLUME: 6888
INDEXED IN: DBLP
IN MY: DBLP
97
TITLE: Verifiable Security of Boneh-Franklin Identity-Based Encryption
AUTHORS: Gilles Barthe; Federico Olmedo; Santiago Zanella Béguelin;
PUBLISHED: 2011, SOURCE: Provable Security - 5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011. Proceedings, VOLUME: 6980
INDEXED IN: DBLP
IN MY: DBLP
98
TITLE: Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language
AUTHORS: Gilles Barthe; Exequiel Rivas;
PUBLISHED: 2011, SOURCE: Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers, VOLUME: 7173
INDEXED IN: DBLP
IN MY: DBLP
99
TITLE: Information-theoretic Bounds for Differentially Private Mechanisms
AUTHORS: Gilles Barthe; Boris Köpf;
PUBLISHED: 2011, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2011
INDEXED IN: DBLP
IN MY: DBLP
100
TITLE: Secure information flow by self-composition
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2011, SOURCE: Math. Struct. Comput. Sci., VOLUME: 21, ISSUE: 6
INDEXED IN: DBLP
IN MY: DBLP
Page 10 of 20. Total results: 199.

A place for researchers and their institutions

Useful Links

Get Help

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