We are delighted to welcome eleven new outstanding senior scientists to CISPA! 🎉 We will introduce them to you here in the coming days. Today we warmly welcome Simon Oddershede Gregersen from New York University and Jonas Hielscher from @ruhr-uni-bochum.de.

Revisiting an early critique of formal verification. ~ Lawrence Paulson. lawrencecpaulson.github.io/2025/03/14/r... #ITP #Math #FormalVerification

ProTeCS 2025 will be back at Eurocrypt! Join us to celebrate and discuss cryptographic proof techniques in Madrid, May 3. And consider submitting a short talk abstract to tell the community what *you* are excited about! Deadline February 20. protecs-workshop.gitlab.io