The institute carries out research in various areas of security, privacy, and cryptography.

Our Main Research Topics

We focus on the formal analysis regarding security and privacy in the following areas:

  • IoT and Automotive Security
  • Web Applications and Standards
  • Blockchains and Smart Contracts
  • Secure Multi-Party Computation
  • Security Protocols and Cryptography
  • Differential Privacy
  • E-Voting

Contact Us

Ralf Küsters
Prof. Dr.

Ralf Küsters

Head of Institute

Dagmar Gahr

Dagmar Gahr


To the top of the page