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)
Visitors
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
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