News 2025
2 April 2025, 15:00, CNB F 110
Speaker: András Szücs, ETH Bachelor's thesis
Title: Symbolic Analysis of the Signal Protocol
1 April 2025, 13:00, CNB F 110
Speaker: Michael Zischg, ETH semester project
Title: Formal Analysis of the OpenID for Verifiable Credential Issuance Protocol
11 March 2025, 14:00, CNB F 110
Speaker: David Schmid, ETH Master's thesis
Title: PAMM - Privacy-Aware Mass Mailing
20 February 2025, 14:00, CNB F 110
Speaker: Sofie Daniels, ETH Master's thesis
Title: Secure- and Privacy-Aware ORM
17 February 2025, 14:00, CNB F 100.9
Speaker: Colin Pfingstl, ETH semester project
Title: Optimizing Transpiler for Hybrid Information Flow Control
17 January 2025, CNB F 100.9
14:00
Speaker: Luca Maier, ETH Master's thesis
Title: Formal Analysis of the SecureDrop Protocol
15:00
Speaker: Elias Rodriguez, ETH Bachelor's thesis
Title: Modeling and Verification of the RAMP Concurrency Control Protocol