Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings Barthe Gilles Heftet / 2008 / Engelsk
Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers Barthe Gilles Heftet / 2008 / Engelsk
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings Barthe Gilles Heftet / 2010 / Engelsk
Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings Barthe Gilles Heftet / 2012 / Engelsk
Foundations of Security Analysis and Design V FOSAD 2008/2009 Tutorial Lectures Aldini Alessandro Heftet / 2009 / Engelsk
Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers Barthe Gilles Heftet / 2012 / Engelsk
Security and Trust Management 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings Barthe Gilles Heftet / 2016 / Engelsk
Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures Barthe Gilles Heftet / 2002 / Engelsk
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers Barthe Gilles Heftet / 2006 / Engelsk
