Gilles Barthe


AuthID: R-00H-7MM

Publicações a aguardar confirmação

101
TÍTULO: Tractable Enforcement of Declassification Policies
AUTORES: Gilles Barthe; Salvador Cavadini; Tamara Rezk;
PUBLICAÇÃO: 2008, FONTE: CSF
INDEXADO EM: DBLP
NO MEU: DBLP
102
TÍTULO: Type-Based Termination with Sized Products
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: CSL
INDEXADO EM: DBLP
NO MEU: DBLP
103
TÍTULO: Certificate Translation in Abstract Interpretation
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: ESOP
INDEXADO EM: DBLP
NO MEU: DBLP
104
TÍTULO: Certificate translation for specification-preserving advices
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: FOAL
INDEXADO EM: DBLP
NO MEU: DBLP
105
TÍTULO: An Introduction to Certificate Translation
AUTORES: Gilles Barthe; César Kunz;
PUBLICAÇÃO: 2008, FONTE: FOSAD
INDEXADO EM: DBLP
NO MEU: DBLP
106
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
INDEXADO EM: DBLP
NO MEU: DBLP
107
TÍTULO: A Tutorial on Type-Based Termination
AUTORES: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLICAÇÃO: 2008, FONTE: LerNet ALFA Summer School
INDEXADO EM: DBLP
NO MEU: DBLP
108
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
INDEXADO EM: DBLP
NO MEU: DBLP
109
110
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
INDEXADO EM: DBLP
NO MEU: DBLP
Página 11 de 18. Total de resultados: 177.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service