Institute of Information Security | University of Stuttgart

Welcome at the Institute of Information Security!

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

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

Theses and Projects
Information for students looking for theses and projects
Grundlagen der Informationssicherheit (GIS)
Lecture and exercises for Bachelor
Mathematical Foundations of (Post-Quantum) Cryptography (MFC)
Lecture and exercises for Master
Introduction to Modern Cryptography (MC)
Lecture and exercises for Master
System and Web Security (SWS)
Lecture and exercises for Master
Security and Privacy (SP)
Lecture and exercises for Master
Post-Quantum Secure Cryptography (PQC)
Lecture and exercises for Master
Informationssicherheit und Kryptographie
Seminar (Bachelor, German)
Informationssicherheit und Kryptographie
Hauptseminar (Master, German)
Seminar und Hauptseminar Anwendungsfach Mathematik
Seminar (Bachelor, German) and Hauptseminar (Master, German)
Advanced Topics in Post-Quantum Cryptography
PQC-Hauptseminar (Master, German or English)

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

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

Here you find more information about the institute.

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