News 2026

3 March 2026, 14:00, CNB F 100.9
Speaker: Jasmin Blanchette, ETH guest
Title: Tao’s Proof Challenge Accepted

2 March 2026, 14:00, CNB F 100.9
Speaker: Adrián Sánchez Marco
Title: Intruder Knowledge Optimization and Module-Lattice-Based in Symbolic Protocol Analysis

2026:

external page Levchin prize
David Basin, Tamarin prover
Real World Cryptography, Taiwan

2026: