Gilles Barthe

• Formal Aspects of Security and Trust
• L'enfance spirituelle
• Programming Languages and Systems
• Security and Trust Management
• Applied Semantics
• Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
• Formal Aspects of Security and Trust
• Foundations of Probabilistic Programming
• Software Engineering and Formal Methods
• Trustworthy Global Computing
• Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in Computer Science)
• Verification, Model Checking, and Abstract Interpretation