Research Overview UMLsec Tools Bachelor/ Master/ Diplomarbeiten zu vergeben Hiwi-Stellen zu vergeben Open PhD/Postdoc positions in Softw. Eng. & Security
Links People Visitors Some cv details Teaching/ Training Ranking: TUDo among top German CS deps.
Publications (more)
Projects (more) Architectures for Auditable Business Process Execution (APEX) (Fraunhofer Attract Group) Secure Change (EU FET IP) Verifying Implementations of Security Protocols in C (Csec) (MS Research) Modular Modeling of Delegation Security in Software Development (MoDelSec) (DFG-SPP RS3)
Organization (more) Initiative Mittelstand: INNOVATIONSPREIS-IT 2012 IFIP Working Group 1.7 "Theoretical Foundations of Security Analysis and Design" GI FoMSESS (co-chair) GI Division of Safety and Security GI QFA Modellierung "Dortmund bunt statt braun"