Institute of Information Security (SEC)

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

Welcome at the Institute of Information Security!

Below, you find more information about the SEC and our activities.

Please note that due to the current situation, the secretary's office will be open on a sporadical basis only. Students should send an e-mail instead of appearing in person.

Research

Research

  • Publications
  • The Web Infrastructure Model (WIM)
    The Web Infrastructure Model, or just WIM, is a comprehensive, expressive and precise model of the web infrastructure
  • DY*
    DY* (pronounced "DY Star") is a formal verification framework for the symbolic analysis of cryptographic protocols.
  • The iUC Framework
    An expressive and user friendly universal composability model for the formal security analysis of protocols in a modular way.
  • SPRESSO
    SPRESSO is a secure and privacy-respecting single sign-on system for the Web
  • sElect
    sElect is a lightweight, practical, and verifiable remote voting system
Learn More
Teaching

Teaching

The Institute

The Institute

Research

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

Teaching

The Institute of Information Security offers a wide variety of lectures, seminars, and projects, …

The Institute

Here you find more information about the institute.
Moderne Kryptographie

Book on Cryptography

Autoren: Küsters, Ralf / Wilke, Thomas
Moderne Kryptographie
Eine Einführung
2011. XII, 300 S. Mit 16 Abb. Br.
ISBN: 978-3-519-00509-4

This image shows Ralf Küsters

Ralf Küsters

Prof. Dr.

Head of Institute

This image shows Dagmar Gahr

Dagmar Gahr

Dipl.-Übers.

Secretary

To the top of the page