Prof. Dr. Jan Jürjens


Photo of Jan Jurjens


E-mail (IMPORTANT):


Affiliations:
Software Engineering (LS 14)
Dep. of Computer Science
TU Dortmund
44221 Dortmund, Germany
and
Fraunhofer-Institute for Software- and Systems-Engineering ISST

Visiting Affiliation: Robinson College (Univ. Cambridge) (as Senior Member)

Secretary: +49 231 755-7953
Sprechstunde: nach Vereinbarung

Research

  • Overview
  • UMLsec
  • Tools
  • Backelor/ Master/ Diplomarbeiten
  • Hiwi-Stellen zu vergeben !
  • Several PhD/Postdoc positions in Softw. Eng. and Security !

    • Links

  • People
  • Visitors
  • Some cv details
  • Teaching/ Training
  • Ranking: TUDo among top German CS deps.

    • Book CoverBook Cover

    Publications (more)

  • Security Analysis of a Biometric Authentication System using UMLsec and JML, Models 2009
  • A Domain-Specific Language for Cryptographic Protocols based on Streams, JLAP 2009.
  • Security Analysis of Crypto-based Java Programs using Automated Theorem Provers, ASE 2006.
  • Sound Methods and Effective Tools for Model-based Security Engineering with UML, ICSE 2005.
  • Secure Systems Development with UML, Springer-Verlag 2005 NEW: Chinese translation, 2009

    • Projects (more)

  • Architectures for Auditable Business Process Execution (APEX) (Fraunhofer Attract Group) Open position !
  • Secure Change (EU FET IP) Open position !
  • Verifying Implementations of Security Protocols in C (MS Research)
  • Automated Verification of Security-Critical Software (VeriSec) (Royal Society Industrial Fellowship with MS Research)

    • Organization (more)

  • 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