Gilles Barthe
AuthID: R-00H-7MM
121
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
DBLP122
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
DBLP123
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
DBLP124
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
DBLP125
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
DBLP126
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
DBLP127
TÃTULO: An Introduction to Certificate Translation
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures, VOLUME: 5705
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures, VOLUME: 5705
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP128
TÃTULO: Formal Certification of ElGamal Encryption
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2008, FONTE: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers, VOLUME: 5491
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2008, FONTE: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers, VOLUME: 5491
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP129
TÃTULO: A Tutorial on Type-Based Termination
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures, VOLUME: 5520
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures, VOLUME: 5520
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP130
TÃTULO: Preservation of Proof Pbligations for Hybrid Verification Methods
AUTORES: Gilles Barthe; César Kunz; David Pichardie; Julián Samborski Forlese;
PUBLICAÇÃO: 2008, FONTE: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008
AUTORES: Gilles Barthe; César Kunz; David Pichardie; Julián Samborski Forlese;
PUBLICAÇÃO: 2008, FONTE: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP