Secondary Content

Collaborators and Former Staff

Some Current and Past Collaborators

  • Martin Abadi, UCSC / Microsoft Research (on faithfulness of symbolic security analysis, cf. TACS'01 paper)
  • Samson Abramsky, Oxford Univ. (PhD advisor)
  • Andreas Bauer, Australian National University (collaboration on run-time security verification, cf. SESS@ICSE 08 paper)
  • Ruth Breu, Univ. Innsbruck (collaboration on model-based security, cf. e.g. APSEC'03 paper)
  • Manfred Broy, TU Munich (postdoc advisor, co-PI on Royal Society Joint International Project with TU Munich)
  • Jorge Fox, Trinity College Dublin (collaboration on aspect-oriented security verification, cf. e.g. ICSE'06 paper)
  • Robert B. France, Colorado SU (collaboration on aspect-oriented security modeling, cf. e.g. Journal of Software and Systems paper)
  • Andrew D. Gordon, Microsoft Research Cambridge (co-PI on PhD scholarship on Verifying Implementations of Security Protocols in C, funded by Microsoft Research)
  • Siv Hilde Houmb, Univ. Twente (collaboration on aspect-oriented security modeling, cf. e.g. Models'05 paper)
  • Haris Mouratidis, UEL (collaboration on security requirements engineering, cf. e.g. Caise'06 paper)
  • Alfredo Pironti (collaboration on security monitor generation)
  • Daniel Ratiu, TU Munich (collaboration on program comprehesion, cf. e.g. CSMR'07/'08 papers)
  • Jörg Schreck, O2 Germany (collaboration on industrial applications of UMLsec, cf. e.g. ICSE'08 and FASE'08 papers)


  • Prof. Dr. Muhammad Sheikh Sadi (Khulna University of Engineering & Technology, KUET)
  • Prof. Dr. Dr. Dmitry Zaitsev (International Humanitarian University, Ukraine), 2015
  • Madalin Stefan Vlad (University Politehnica of Bucharest, Romania), 2015
  • Oluwasefunmi Arogundade (Fed. Univ. Agr., Abeokuta, Nigeria), 2015
  • Carlos Blanco: PhD project "MDA approach for developing secure data warehouses" (Universidad de Castilla-La Mancha, supervisor Prof. Dr. Eduardo Fernandez-Medina Paton). Visiting: May 2009 - Aug. 2009.
  • Andreas Thies: PhD project "Refactoring for Object-Oriented Programs" (Fernuniversitat Hagen, supervisor Prof. Dr. Friedrich Steimann). Visiting: Apr. 2009 - July 2009.
  • Alfredo Pironti: PhD project "Model-driven Development for Cryptographic Protocols" (Politecnico Turino, supervisor Prof. Dr. Riccardo Sisto). Visiting: Oct. 2008 - Feb. 2009 and Aug. 2009.
  • Lionel Montrieux (visiting from Univ. Namur; supervisor Pierre-Yves Schobbens): MSc project on aspect-oriented development of security code, Sep.-Dec. 2008

Some PhD / Postdoc Alumni

Some Former MSc Students