Reposted by Simon Gregersen
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.
June 24, 2025 at 2:00 PM
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.
Reposted by Simon Gregersen
Revisiting an early critique of formal verification. ~ Lawrence Paulson. lawrencecpaulson.github.io/2025/03/14/r... #ITP #Math #FormalVerification
March 15, 2025 at 10:27 AM
Revisiting an early critique of formal verification. ~ Lawrence Paulson. lawrencecpaulson.github.io/2025/03/14/r... #ITP #Math #FormalVerification
Reposted by Simon Gregersen
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
And consider submitting a short talk abstract to tell the community what *you* are excited about! Deadline February 20. protecs-workshop.gitlab.io
ProTeCS 2025
Workshop on Proofs and Proof Techniques for Cryptographic Security. Affiliated with Eurocrypt 2025.
protecs-workshop.gitlab.io
January 14, 2025 at 9:52 PM
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
And consider submitting a short talk abstract to tell the community what *you* are excited about! Deadline February 20. protecs-workshop.gitlab.io