Gilles Barthe
AuthID: R-00H-7MM
91
TÃTULO: A Functional Framework for Result Checking
AUTORES: Gilles Barthe; Pablo Buiras; César Kunz;
PUBLICAÇÃO: 2010, FONTE: FLOPS
AUTORES: Gilles Barthe; Pablo Buiras; César Kunz;
PUBLICAÇÃO: 2010, FONTE: FLOPS
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP92
TÃTULO: Programming Language Techniques for Cryptographic Proofs
AUTORES: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2010, FONTE: ITP
AUTORES: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2010, FONTE: ITP
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP93
TÃTULO: On the Equality of Probabilistic Terms
AUTORES: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech; Vincent Laporte;
PUBLICAÇÃO: 2010, FONTE: LPAR (Dakar)
AUTORES: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech; Vincent Laporte;
PUBLICAÇÃO: 2010, FONTE: LPAR (Dakar)
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP94
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
DBLP95
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
DBLP96
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
DBLP97
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
DBLP98
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
DBLP99
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
DBLP100
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
DBLP