Gilles Barthe
AuthID: R-00H-7MM
111
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
DBLP NO MEU: DBLP
DBLP112
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
DBLP NO MEU: DBLP
DBLP113
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
DBLP114
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
DBLP NO MEU: DBLP
DBLP115
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
DBLP116
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: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, VOLUME: 5195
AUTORES: Gilles Barthe; Benjamin Grégoire; Mariela Pavlova;
PUBLICAÇÃO: 2008, FONTE: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, VOLUME: 5195
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP117
TÃTULO: Tractable Enforcement of Declassification Policies
AUTORES: Gilles Barthe; Salvador Cavadini; Tamara Rezk;
PUBLICAÇÃO: 2008, FONTE: Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008
AUTORES: Gilles Barthe; Salvador Cavadini; Tamara Rezk;
PUBLICAÇÃO: 2008, FONTE: Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP118
TÃTULO: Type-Based Termination with Sized Products
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, VOLUME: 5213
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, VOLUME: 5213
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP119
TÃTULO: Certificate Translation in Abstract Interpretation
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, VOLUME: 4960
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, VOLUME: 4960
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP120
TÃTULO: Certificate translation for specification-preserving advices
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP