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