News 2025
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