supervision
Supervision of student theses.
PhD theses
-
Tobias Klenze (defended in Jun 2021):
Formal Development of Secure Data Plane Protocols -
Ognjen Maric (defended in Feb 2017):
Formal Verification of Fault-Tolerant Systems -
Binh Thanh Nguyen (defended in May 2015):
Sound Abstractions for Security Protocol Verification
MSc theses
-
Azucena Garvia Bosshard (Apr 2023)
Formal Verification of the Sumcheck Protocol -
Shabnam Ghasemirad (Nov 2022)
Mechanized Consistency Models for Distributed Database Transactions -
Sven Wiesner (May 2022)
Automated Translation of Tamarin Theories into I/O Specifications for Igloo -
Noah Delius (Sep 2021)
Automatic Generation of I/O Specifications from Component Event Systems in Igloo -
Giuseppe Arcuti (Aug 2021)
Automatic Decomposition of Interface Models in Igloo -
Zuzana Frankovska (Mar 2021)
Modeling and Analysis of the SCION Dataplane in Tamarin -
Sandra Dünki (Oct 2019)
Modelling and Analysis of Web Applications in Tamarin -
Joel Wanner (Aug 2019)
Formal Verification of Denial-of-Service-Resilient Protocols
BSc theses
-
Elias Rodriguez (in progress)
Modeling and Verification of the RAMP Concurrency Control Protocol -
Josefine Hedlund (Mar 2023)
A Zoo of Simulations -
Cedric Gebistorf (Aug 2022)
Component Model Transformation into I/O-Guarded Form in Igloo -
Liva Schaffner (Aug 2022)
Formal Verification of Low-Latency Authentication Mechanisms -
Roman Niggli (Jan 2021)
Modeling and Verification of the Raft Consensus Protocol -
Markus Legner (Nov 2018)
Every Packet Is Checked (EPIC): Lightweight Path Authorization, Source Authentication, and Path Validation in a Path-Aware Internet
Semester Projects
- Shabnam Ghasemirad (Sep 2021)
Modular Reasoning in Igloo
Other projects
- Joseph Lallemand (pre-doc visitor, 9 months until Summer 2017)
Refining Authenticated Key Agreement with Strong Adversaries