VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.
Formal Methods for Information Security
Last Updated: 2026-02-05 14:59:54
Abstract
The course presents formal and cryptographic methods for modeling and analyzing security-critical systems. The first and main part of the course will focus on cryptographic protocols. In the second part formal methods in other fields of information security, such as access control, will be presented.
Content
The course presents formal and cryptographic methods for modeling and analyzing security-critical systems. The first and main part of the course will focus on cryptographic protocols. Cryptographic protocols, such as SSL/TLS, SSH, Kerberos, and IPSec, form the basis of secure communication and business transactions. Their design is, however, extremely error-prone. In fact, on many protocols attacks were found after their publication, e.g., on the public-key version of Kerberos. This and many other examples show that rigorous analysis of such protocols is indispensable. In the course we will not only survey existing analysis methods and tools, but get down to the theoretical foundations and functioning of some these methods and tools. In the exercises students will get a chance to try out some of the tools on concrete protocols. In the second part of the course formal methods in other fields of information security, such as access control, will be presented.
General Information
- Language
- English
- Frequency
- Yearly recurring
Examination
- Type
- end-of-semester examination
Course Components
| Type | Title | Time & Place | Hours |
|---|---|---|---|
| lecture | Formal Methods for Information Security |
|
2 h weekly |
| exercise | Formal Methods for Information Security |
|
1 h weekly |