Gilles Barthe
AuthID: R-00H-7MM
91
TÃTULO: Beyond Provable Security Verifiable IND-CCA Security of OAEP
AUTORES: Gilles Barthe; Benjamin Grégoire; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: 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
AUTORES: Gilles Barthe; Benjamin Grégoire; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: 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
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP92
TÃTULO: Formally Verifying Isolation and Availability in an Idealized Model of Virtualization
AUTORES: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna;
PUBLICAÇÃO: 2011, FONTE: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, VOLUME: 6664
AUTORES: Gilles Barthe; Gustavo Betarte; Juan Diego Campo; Carlos Luna;
PUBLICAÇÃO: 2011, FONTE: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, VOLUME: 6664
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP93
TÃTULO: Relational Verification Using Product Programs
AUTORES: Gilles Barthe; Juan Manuel Crespo; César Kunz;
PUBLICAÇÃO: 2011, FONTE: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, VOLUME: 6664
AUTORES: Gilles Barthe; Juan Manuel Crespo; César Kunz;
PUBLICAÇÃO: 2011, FONTE: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, VOLUME: 6664
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP94
TÃTULO: A Computational Indistinguishability Logic for the Bounded Storage Model
AUTORES: Gilles Barthe; Mathilde Duclos; Yassine Lakhnech;
PUBLICAÇÃO: 2011, FONTE: Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers, VOLUME: 6888
AUTORES: Gilles Barthe; Mathilde Duclos; Yassine Lakhnech;
PUBLICAÇÃO: 2011, FONTE: Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers, VOLUME: 6888
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP95
TÃTULO: Verifiable Security of Boneh-Franklin Identity-Based Encryption
AUTORES: Gilles Barthe; Federico Olmedo; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: Provable Security - 5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011. Proceedings, VOLUME: 6980
AUTORES: Gilles Barthe; Federico Olmedo; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: Provable Security - 5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011. Proceedings, VOLUME: 6980
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP96
TÃTULO: Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language
AUTORES: Gilles Barthe; Exequiel Rivas;
PUBLICAÇÃO: 2011, FONTE: Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers, VOLUME: 7173
AUTORES: Gilles Barthe; Exequiel Rivas;
PUBLICAÇÃO: 2011, FONTE: Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers, VOLUME: 7173
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP97
TÃTULO: Information-theoretic Bounds for Differentially Private Mechanisms
AUTORES: Gilles Barthe; Boris Köpf;
PUBLICAÇÃO: 2011, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2011
AUTORES: Gilles Barthe; Boris Köpf;
PUBLICAÇÃO: 2011, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2011
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP98
TÃTULO: Secure information flow by self-composition
AUTORES: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLICAÇÃO: 2011, FONTE: Math. Struct. Comput. Sci., VOLUME: 21, NÚMERO: 6
AUTORES: Gilles Barthe; Pedro R D'Argenio; Tamara Rezk;
PUBLICAÇÃO: 2011, FONTE: Math. Struct. Comput. Sci., VOLUME: 21, NÚMERO: 6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP99
TÃTULO: An Abstract Model of Certificate Translation
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2011, FONTE: ACM Trans. Program. Lang. Syst., VOLUME: 33, NÚMERO: 4
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2011, FONTE: ACM Trans. Program. Lang. Syst., VOLUME: 33, NÚMERO: 4
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP100
TÃTULO: Computational indistinguishability logic
AUTORES: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010
AUTORES: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP