Gilles Barthe
AuthID: R-00H-7MM
101
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
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
DBLP IN MY: DBLP
DBLP102
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
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
DBLP IN MY: DBLP
DBLP103
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
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
DBLP IN MY: DBLP
DBLP104
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
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
DBLP IN MY: DBLP
DBLP105
TITLE: Information-theoretic Bounds for Differentially Private Mechanisms
AUTHORS: Gilles Barthe; Boris Köpf;
PUBLISHED: 2011, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2011
AUTHORS: Gilles Barthe; Boris Köpf;
PUBLISHED: 2011, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2011
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP106
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
AUTHORS: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLISHED: 2011, SOURCE: Math. Struct. Comput. Sci., VOLUME: 21, ISSUE: 6
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP107
TITLE: An Abstract Model of Certificate Translation
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2011, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 33, ISSUE: 4
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2011, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 33, ISSUE: 4
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP108
TITLE: Computational indistinguishability logic
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech;
PUBLISHED: 2010, SOURCE: Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech;
PUBLISHED: 2010, SOURCE: Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP109
TITLE: A Machine-Checked Formalization of Sigma-Protocols
AUTHORS: Gilles Barthe; Daniel Hedin; Santiago Zanella Béguelin; Benjamin Grégoire; Sylvain Heraud;
PUBLISHED: 2010, SOURCE: Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010
AUTHORS: Gilles Barthe; Daniel Hedin; Santiago Zanella Béguelin; Benjamin Grégoire; Sylvain Heraud;
PUBLISHED: 2010, SOURCE: Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP110
TITLE: Robustness Guarantees for Anonymity
AUTHORS: Gilles Barthe; Alejandro Hevia; Zhengqin Luo; Tamara Rezk; Bogdan Warinschi;
PUBLISHED: 2010, SOURCE: Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010
AUTHORS: Gilles Barthe; Alejandro Hevia; Zhengqin Luo; Tamara Rezk; Bogdan Warinschi;
PUBLISHED: 2010, SOURCE: Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP