Gilles Barthe
AuthID: R-00H-7MM
91
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
DBLP92
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
DBLP93
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
DBLP94
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
DBLP95
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
DBLP96
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
DBLP97
TÃTULO: Preservation of Proof Obligations from Java to the Java Virtual Machine
AUTORES: Gilles Barthe; Benjamin Grégoire; Mariela Pavlova;
PUBLICAÇÃO: 2008, FONTE: IJCAR
AUTORES: Gilles Barthe; Benjamin Grégoire; Mariela Pavlova;
PUBLICAÇÃO: 2008, FONTE: IJCAR
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP98
TÃTULO: Tractable Enforcement of Declassification Policies
AUTORES: Gilles Barthe; Salvador Cavadini; Tamara Rezk;
PUBLICAÇÃO: 2008, FONTE: CSF
AUTORES: Gilles Barthe; Salvador Cavadini; Tamara Rezk;
PUBLICAÇÃO: 2008, FONTE: CSF
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP99
TÃTULO: Type-Based Termination with Sized Products
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: CSL
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: CSL
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP100
TÃTULO: Certificate Translation in Abstract Interpretation
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: ESOP
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: ESOP
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP