Gilles Barthe
AuthID: R-00H-7MM
131
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
DBLP132
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
DBLP133
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
DBLP134
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
DBLP135
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
DBLP136
TÃTULO: Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
AUTORES: Gilles Barthe; Cédric Fournet;
PUBLICAÇÃO: 2008, FONTE: TGC, VOLUME: 4912
AUTORES: Gilles Barthe; Cédric Fournet;
PUBLICAÇÃO: 2008, FONTE: TGC, VOLUME: 4912
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP137
TÃTULO: Mobility, Ubiquity and Security, 25.02. - 02.03.2007
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, VOLUME: 07091
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, VOLUME: 07091
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP138
TÃTULO: 07091 Executive Summary - Mobility, Ubiquity and Security
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, 25.02. - 02.03.2007, VOLUME: 07091
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, 25.02. - 02.03.2007, VOLUME: 07091
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP139
TÃTULO: 07091 Abstracts Collection - Mobility, Ubiquity and Security
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, 25.02. - 02.03.2007, VOLUME: 07091
AUTORES: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLICAÇÃO: 2007, FONTE: Mobility, Ubiquity and Security, 25.02. - 02.03.2007, VOLUME: 07091
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP140
TÃTULO: A Certified Lightweight Non-interference Java Bytecode Verifier
AUTORES: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLICAÇÃO: 2007, FONTE: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, VOLUME: 4421
AUTORES: Gilles Barthe; David Pichardie; Tamara Rezk;
PUBLICAÇÃO: 2007, FONTE: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, VOLUME: 4421
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP