Title: CatCrypt: From Rust to Cryptographic Security in Lean

Abstract: 

We describe the methodology and scope of CatCrypt, a library for…

Title: Lower Bound Techniques for Information-Theoretic MPC

Abstract: We cover some proof techniques for lower bounding the communication required…

Title: Bribers, Bribers on The Chain, Is Resisting All in Vain? Trustless Consensus Manipulation Through Bribing Contracts

Abstract: In this talk, I…

On Friday February 20, 2026, Hannah Keller will defend the PhD thesis Distributed Differential Privacy Using Cryptographic Techniques

Title: Delay Functions from a Lattice Assumption

Abstract: Can delay functions be based on a cryptographic assumption about general (not depth…