Gilles Barthe

1967

• Applied semantics
• Engineering Secure Software and Systems
• Engineering Secure Software And Systems 4th International Symposium Essos 2012 Eindhoven The Netherlands February 1617 2012 Proceedings
• Formal Aspects of Security and Trust
• Formal Aspects Of Security And Trust 8th International Workshop Fast 2011 Leuven Belgium September 1214 2011 Revised Selected Papers
• Formal Methods for Open Object-Based Distributed Systems
• Programming Languages and Systems
• Software Engineering And Formal Methods 9th International Conference Proceedings