News 2026
2 April 2026, 14:00, CNB F 110
Speaker: Andrei Cotor, ETH semester project
Title: νActionGUI: Process Permissions & More Data Subject Rights
31 March 2026, 14:00, CNB F 110
Speaker: Jérôme Schneider, ETH Master's thesis
Title: A Mechanized Model of the Web in Tamarin
3 March 2026, 14:00, CNB F 100.9
Speaker: Jasmin Blanchette, ETH guest
Title: Tao’s Proof Challenge Accepted
2 March 2026
11:00, CAB F88
Speaker: Dina Weiersmüller, ETH Master's thesis
Title: An Intrinsically Typed Approach to Information Flow Control in WebAssembly Interpreters
14:00, CNB F 100.9
Speaker: Adrián Sánchez Marco
Title: Intruder Knowledge Optimization and Module-Lattice-Based in Symbolic Protocol Analysis
23 February 2026, CNB F 100.9
13:00
Speaker: Jiajun Jiang, ETH Master's thesis
Title: A Development Methodology and Case Study for Lex
15:00
Speaker: David Schild, ETH Bachelor's thesis
Title: Lexbots
2026:
27 February 2026
Sofia Giampietro
Title: Advances in the Symbolic Verification of Cryptographic Protocols
2026:
external page Levchin prize
David Basin, Tamarin prover
Real World Cryptography, Taiwan