Sabine Oechsner 🟥
@proofnerd.bsky.social
cryptography and pretty proofs | PL-curious | assistant professor @ VU Amsterdam
soechsner.de
soechsner.de
AV team knows the struggle
November 4, 2025 at 10:13 AM
AV team knows the struggle
New paper with Vitor Pereira and Peter Scholl (@schollster.bsky.social)!
We found flaws in a supposedly formally verified security proof of LPZK, leading to attacks on soundness and zk.
The culprit: a mismatch between definitions in their code and the original LPZK papers.
cic.iacr.org/p/2/3/24
We found flaws in a supposedly formally verified security proof of LPZK, leading to attacks on soundness and zk.
The culprit: a mismatch between definitions in their code and the original LPZK papers.
cic.iacr.org/p/2/3/24
October 7, 2025 at 7:21 AM
New paper with Vitor Pereira and Peter Scholl (@schollster.bsky.social)!
We found flaws in a supposedly formally verified security proof of LPZK, leading to attacks on soundness and zk.
The culprit: a mismatch between definitions in their code and the original LPZK papers.
cic.iacr.org/p/2/3/24
We found flaws in a supposedly formally verified security proof of LPZK, leading to attacks on soundness and zk.
The culprit: a mismatch between definitions in their code and the original LPZK papers.
cic.iacr.org/p/2/3/24
Super excited that CSF 2025 invited me as one of their keynote speakers!
I got to talk about the tension between theory and practice when studying the security of MPC protocols.
(Thanks to @owenarden.bsky.social for the photo!)
I got to talk about the tension between theory and practice when studying the security of MPC protocols.
(Thanks to @owenarden.bsky.social for the photo!)
June 17, 2025 at 9:15 PM
Super excited that CSF 2025 invited me as one of their keynote speakers!
I got to talk about the tension between theory and practice when studying the security of MPC protocols.
(Thanks to @owenarden.bsky.social for the photo!)
I got to talk about the tension between theory and practice when studying the security of MPC protocols.
(Thanks to @owenarden.bsky.social for the photo!)
Do you want to advertise your work on PL techniques for software security? Consider submitting to PLAS!
plas25.github.io
*deadline June 20 AoE*
No formal proceedings, so you can present ideas or published work. I really enjoy this type of format because of the focus on discussion and community.
plas25.github.io
*deadline June 20 AoE*
No formal proceedings, so you can present ideas or published work. I really enjoy this type of format because of the focus on discussion and community.
May 21, 2025 at 9:54 AM
Do you want to advertise your work on PL techniques for software security? Consider submitting to PLAS!
plas25.github.io
*deadline June 20 AoE*
No formal proceedings, so you can present ideas or published work. I really enjoy this type of format because of the focus on discussion and community.
plas25.github.io
*deadline June 20 AoE*
No formal proceedings, so you can present ideas or published work. I really enjoy this type of format because of the focus on discussion and community.
Looking forward to the REAL best papers 😎
May 6, 2025 at 4:11 PM
Looking forward to the REAL best papers 😎
We wrapped up CAPS 2025 with a round table about the state of computer-aided cryptography tools.
If you missed it, you can find all the material from the day on the workshop website caps-workshop.com.
If you missed it, you can find all the material from the day on the workshop website caps-workshop.com.
May 4, 2025 at 10:16 PM
We wrapped up CAPS 2025 with a round table about the state of computer-aided cryptography tools.
If you missed it, you can find all the material from the day on the workshop website caps-workshop.com.
If you missed it, you can find all the material from the day on the workshop website caps-workshop.com.
The list of accepted talks for ProTeCS 2025 is now online.
We are looking forward to exciting talks about cryptographic proofs and proof techniques. Thanks to everyone who submitted a proposal!
protecs-workshop.gitlab.io/accepted
We are looking forward to exciting talks about cryptographic proofs and proof techniques. Thanks to everyone who submitted a proposal!
protecs-workshop.gitlab.io/accepted
March 21, 2025 at 9:05 PM
The list of accepted talks for ProTeCS 2025 is now online.
We are looking forward to exciting talks about cryptographic proofs and proof techniques. Thanks to everyone who submitted a proposal!
protecs-workshop.gitlab.io/accepted
We are looking forward to exciting talks about cryptographic proofs and proof techniques. Thanks to everyone who submitted a proposal!
protecs-workshop.gitlab.io/accepted