Research Interests

The bulk of research of the group concentrates on theoretical foundations of information security and cryptography. Central topics are:

Linking formal methods and cryptography. Highlights: Introduction of reactive simulatibility, also known as UC for its composability properties (2000). Cryptographically justifying a Dolev-Yao model under active attacks (2003). (Overview slides), limitations of soundness for hash functions and XOR (2005, 2006).
Web Services security, in particular automated symbolic as well as cryptographic analyses of recent Web Services interoperability profiles,
Security and reliability in ad-hoc (sensor, mobile, ...) networks,
Enterprise privacy, in particular enterprise privacy policies, their refinement, and composition,
Information flow, in particular linking traditional information flow to the cryptographic definitions and techniques,
Information hiding, in particular steganography,
Programming logics for analyzing security protocols,

...and lots of other things related to cryptography and information security.

Projects

If you are interested in our research projects please have a look at the links below: