, Technische Universitat Munchen, Germany

• Journal of Formalized Reasoning Vol. 6 No. 1 (2013) - Articles
  Formal Verification of Language-Based Concurrent Noninterference
  Abstract  PDF
• Journal of Formalized Reasoning Vol. 9 No. 1 (2016): Special Issue: Twenty Years of the QED Manifesto - QED 20th anniversary
  Hammering towards QED
  Abstract  PDF