Gilles Barthe
AuthID: R-00H-7MM
101
TÃTULO: Perspectives in Certificate Translation
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2010, FONTE: TGC
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2010, FONTE: TGC
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP102
TÃTULO: Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
AUTORES: Gilles Barthe; Manuel V Hermenegildo;
PUBLICAÇÃO: 2010, FONTE: VMCAI, VOLUME: 5944
AUTORES: Gilles Barthe; Manuel V Hermenegildo;
PUBLICAÇÃO: 2010, FONTE: VMCAI, VOLUME: 5944
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP103
TÃTULO: Security of multithreaded programs by compilation
AUTORES: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLICAÇÃO: 2010, FONTE: ACM Trans. Inf. Syst. Secur., VOLUME: 13, NÚMERO: 3
AUTORES: Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld;
PUBLICAÇÃO: 2010, FONTE: ACM Trans. Inf. Syst. Secur., VOLUME: 13, NÚMERO: 3
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP104
TÃTULO: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures
AUTORES: Alessandro Aldini; Gilles Barthe; Roberto Gorrieri;
PUBLICAÇÃO: 2009, FONTE: FOSAD, VOLUME: 5705
AUTORES: Alessandro Aldini; Gilles Barthe; Roberto Gorrieri;
PUBLICAÇÃO: 2009, FONTE: FOSAD, VOLUME: 5705
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP105
TÃTULO: Implementing a Direct Method for Certificate Translation
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; César Kunz; Anne Pacalet;
PUBLICAÇÃO: 2009, FONTE: ICFEM
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; César Kunz; Anne Pacalet;
PUBLICAÇÃO: 2009, FONTE: ICFEM
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP106
TÃTULO: Formal certification of code-based cryptographic proofs
AUTORES: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2009, FONTE: POPL
AUTORES: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2009, FONTE: POPL
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP107
TÃTULO: Formally Certifying the Security of Digital Signature Schemes
AUTORES: Santiago Zanella Béguelin; Gilles Barthe; Benjamin Grégoire; Federico Olmedo;
PUBLICAÇÃO: 2009, FONTE: SP
AUTORES: Santiago Zanella Béguelin; Gilles Barthe; Benjamin Grégoire; Federico Olmedo;
PUBLICAÇÃO: 2009, FONTE: SP
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP108
TÃTULO: Certificate translation for optimizing compilers
AUTORES: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLICAÇÃO: 2009, FONTE: ACM Trans. Program. Lang. Syst., VOLUME: 31, NÚMERO: 5
AUTORES: Gilles Barthe; Benjamin Grégoire; César Kunz; Tamara Rezk;
PUBLICAÇÃO: 2009, FONTE: ACM Trans. Program. Lang. Syst., VOLUME: 31, NÚMERO: 5
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP109
TÃTULO: Certified Reasoning in Memory Hierarchies
AUTORES: Gilles Barthe; César Kunz; Jorge Luis Sacchini;
PUBLICAÇÃO: 2008, FONTE: APLAS
AUTORES: Gilles Barthe; César Kunz; Jorge Luis Sacchini;
PUBLICAÇÃO: 2008, FONTE: APLAS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP110
TÃTULO: Certificate Translation PDF
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2008, FONTE: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, VOLUME: 372
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 2008, FONTE: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, VOLUME: 372
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP