Gilles Barthe

Engineering Secure Software And Systems 4th International Symposium Essos 2012 Eindhoven The Netherlands February 1617 2012 Proceedings

Formal Aspects Of Security And Trust 8th International Workshop Fast 2011 Leuven Belgium September 1214 2011 Revised Selected Papers

Software Engineering And Formal Methods 9th International Conference Proceedings

Applied semantics