Gilles Barthe


AuthID: R-00H-7MM

Publications Requiring Validation

101
TITLE: Tractable Enforcement of Declassification Policies
AUTHORS: Gilles Barthe; Salvador Cavadini; Tamara Rezk;
PUBLISHED: 2008, SOURCE: CSF
INDEXED IN: DBLP
IN MY: DBLP
102
TITLE: Type-Based Termination with Sized Products
AUTHORS: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLISHED: 2008, SOURCE: CSL
INDEXED IN: DBLP
IN MY: DBLP
103
TITLE: Certificate Translation in Abstract Interpretation
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2008, SOURCE: ESOP
INDEXED IN: DBLP
IN MY: DBLP
104
TITLE: Certificate translation for specification-preserving advices
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2008, SOURCE: FOAL
INDEXED IN: DBLP
IN MY: DBLP
105
TITLE: An Introduction to Certificate Translation
AUTHORS: Gilles Barthe; César Kunz;
PUBLISHED: 2008, SOURCE: FOSAD
INDEXED IN: DBLP
IN MY: DBLP
106
TITLE: Formal Certification of ElGamal Encryption
AUTHORS: Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; Santiago Zanella Béguelin;
PUBLISHED: 2008, SOURCE: Formal Aspects in Security and Trust
INDEXED IN: DBLP
IN MY: DBLP
107
TITLE: A Tutorial on Type-Based Termination
AUTHORS: Gilles Barthe; Benjamin Grégoire; Colin Riba;
PUBLISHED: 2008, SOURCE: LerNet ALFA Summer School
INDEXED IN: DBLP
IN MY: DBLP
108
TITLE: Preservation of Proof Pbligations for Hybrid Verification Methods
AUTHORS: Gilles Barthe; César Kunz; David Pichardie; Julián Samborski Forlese;
PUBLISHED: 2008, SOURCE: SEFM
INDEXED IN: DBLP
IN MY: DBLP
109
110
TITLE: 07091 Executive Summary - Mobility, Ubiquity and Security
AUTHORS: Gilles Barthe; Heiko Mantel; Peter Müller; Andrew C Myers; Andrei Sabelfeld;
PUBLISHED: 2007, SOURCE: Mobility, Ubiquity and Security
INDEXED IN: DBLP
IN MY: DBLP
Page 11 of 18. Total results: 177.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service