Gilles Barthe
AuthID: R-00H-7MM
111
TÃTULO: Perspectives in Certificate Translation
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2010, FONTE: Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers, VOLUME: 6084
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2010, FONTE: Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers, VOLUME: 6084
INDEXADO EM:
DBLP
![](/img/dblp_icon.png)
NO MEU:
DBLP
![](/img/dblp_icon.png)
112
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
![](/img/dblp_icon.png)
NO MEU:
DBLP
![](/img/dblp_icon.png)
113
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
![](/img/dblp_icon.png)
NO MEU:
DBLP
![](/img/dblp_icon.png)
114
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
![](/img/dblp_icon.png)
NO MEU:
DBLP
![](/img/dblp_icon.png)
115
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: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, VOLUME: 5885
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; César Kunz; Anne Pacalet;
PUBLICAÇÃO: 2009, FONTE: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, VOLUME: 5885
INDEXADO EM:
DBLP
![](/img/dblp_icon.png)
NO MEU:
DBLP
![](/img/dblp_icon.png)
116
TÃTULO: Formal certification of code-based cryptographic proofs
AUTORES: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009
AUTORES: Gilles Barthe; Benjamin Grégoire; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009
INDEXADO EM:
DBLP
![](/img/dblp_icon.png)
NO MEU:
DBLP
![](/img/dblp_icon.png)
117
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: 30th IEEE Symposium on Security and Privacy (S&P 2009), 17-20 May 2009, Oakland, California, USA
AUTORES: Santiago Zanella Béguelin; Gilles Barthe; Benjamin Grégoire; Federico Olmedo;
PUBLICAÇÃO: 2009, FONTE: 30th IEEE Symposium on Security and Privacy (S&P 2009), 17-20 May 2009, Oakland, California, USA
INDEXADO EM:
DBLP
![](/img/dblp_icon.png)
NO MEU:
DBLP
![](/img/dblp_icon.png)
118
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
![](/img/dblp_icon.png)
NO MEU:
DBLP
![](/img/dblp_icon.png)
119
TÃTULO: Certified Reasoning in Memory Hierarchies
AUTORES: Gilles Barthe; César Kunz; Jorge Luis Sacchini;
PUBLICAÇÃO: 2008, FONTE: Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings, VOLUME: 5356
AUTORES: Gilles Barthe; César Kunz; Jorge Luis Sacchini;
PUBLICAÇÃO: 2008, FONTE: Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings, VOLUME: 5356
INDEXADO EM:
DBLP
![](/img/dblp_icon.png)
NO MEU:
DBLP
![](/img/dblp_icon.png)
120
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
![](/img/dblp_icon.png)
NO MEU:
DBLP
![](/img/dblp_icon.png)