Gilles Barthe
AuthID: R-00H-7MM
111
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: IJCAR
AUTORES: Gilles Barthe; Benjamin Grégoire; Mariela Pavlova;
PUBLICAÇÃO: 2008, FONTE: IJCAR
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP112
TÃTULO: Tractable Enforcement of Declassification Policies
AUTORES: Gilles Barthe; Salvador Cavadini; Tamara Rezk;
PUBLICAÇÃO: 2008, FONTE: CSF
AUTORES: Gilles Barthe; Salvador Cavadini; Tamara Rezk;
PUBLICAÇÃO: 2008, FONTE: CSF
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP113
TÃTULO: Type-Based Termination with Sized Products
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: CSL
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: CSL
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP114
TÃTULO: Certificate Translation in Abstract Interpretation
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: ESOP
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: ESOP
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP115
TÃTULO: Certificate translation for specification-preserving advices
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: FOAL
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: FOAL
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP116
TÃTULO: An Introduction to Certificate Translation
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: FOSAD
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: FOSAD
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP117
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
AUTORES: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2008, FONTE: Formal Aspects in Security and Trust
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP118
TÃTULO: A Tutorial on Type-Based Termination
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: LerNet ALFA Summer School
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: LerNet ALFA Summer School
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP119
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: SEFM
AUTORES: Gilles Barthe; César Kunz; David Pichardie; Julián Samborski Forlese;
PUBLICAÇÃO: 2008, FONTE: SEFM
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP120
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
DBLP