Recent & Upcoming Talks

Games and Logic for the Verification of Cryptographic Protocols

PhD defence

Jan 21, 2026

Foundations for Cryptographic Reductions in CCSA Logics

Presentation of the accepted paper

Oct 14, 2024