Sabine Oechsner
@proofnerd.bsky.social
cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam
soechsner.de
soechsner.de
Pinned
MPC in the Wild is a research project that aims to study the real-world implementation security of MPC protocols, in particular, the gap between assumptions on the theory side and implementation choices made in practice.
mpcinthewild.github.io
Interested in the security of MPC implementations?
Peter Scholl (@schollster.bsky.social) and I are looking for research interns to study the theory/practice gap for MPC. We can host multiple interns in Aarhus for the summer 2026.
More information: mpcinthewild.github.io
Help us spread the word!
Peter Scholl (@schollster.bsky.social) and I are looking for research interns to study the theory/practice gap for MPC. We can host multiple interns in Aarhus for the summer 2026.
More information: mpcinthewild.github.io
Help us spread the word!
Reposted by Sabine Oechsner
Are you interested in programming languages research and mentoring up and coming PL researchers?
Then you should fill out the self-nomination form for the PLDI'26 Student Research Competition's PC: forms.gle/KSacbLEtw1Yw...
(Note, you must have a PhD by June 2026 to be a judge)
Then you should fill out the self-nomination form for the PLDI'26 Student Research Competition's PC: forms.gle/KSacbLEtw1Yw...
(Note, you must have a PhD by June 2026 to be a judge)
[PLDI 26] SRC Program Committee Nomination Form
Thank you for your interest in the program committee for the SRC! We're excited for you (or someone you are nominating) to join us in providing high-quality feedback to junior researchers in the PLDI ...
forms.gle
January 6, 2026 at 9:30 PM
Are you interested in programming languages research and mentoring up and coming PL researchers?
Then you should fill out the self-nomination form for the PLDI'26 Student Research Competition's PC: forms.gle/KSacbLEtw1Yw...
(Note, you must have a PhD by June 2026 to be a judge)
Then you should fill out the self-nomination form for the PLDI'26 Student Research Competition's PC: forms.gle/KSacbLEtw1Yw...
(Note, you must have a PhD by June 2026 to be a judge)
Reposted by Sabine Oechsner
He's a 10 but only in bits of security
He's a 10 but only in millisieverts/second
he’s a 10, but only in scoville units
January 6, 2026 at 9:53 PM
He's a 10 but only in bits of security
Reposted by Sabine Oechsner
Come work with us!
Lecturer (≅ Assistant Professor/Juniorprofessor/Maître de conférences) in Cryptography at King’s College London
martinralbrecht.wordpress.com/2026/01/05/l...
Lecturer (≅ Assistant Professor/Juniorprofessor/Maître de conférences) in Cryptography at King’s College London
martinralbrecht.wordpress.com/2026/01/05/l...
Lecturer (≅ Assistant Professor/Juniorprofessor/Maître de conférences) in Cryptography at King’s College London 2026
We are looking to recruit a lecturer in cryptography at King’s College London to work with us within the cybersecurity group: I think it’s fair to say we got strong expertise in lattice-based and p…
martinralbrecht.wordpress.com
January 5, 2026 at 12:04 PM
Come work with us!
Lecturer (≅ Assistant Professor/Juniorprofessor/Maître de conférences) in Cryptography at King’s College London
martinralbrecht.wordpress.com/2026/01/05/l...
Lecturer (≅ Assistant Professor/Juniorprofessor/Maître de conférences) in Cryptography at King’s College London
martinralbrecht.wordpress.com/2026/01/05/l...
Reposted by Sabine Oechsner
For those of you keeping score at home, I’ve been informed by Alessandra that it’s a classic spaghetti with oil and cheese!
Because this account right here really gets to the bottom of the important topics.
Because this account right here really gets to the bottom of the important topics.
Folks, she brought a whole plate of spaghetti to the broadcast center to do her headshot. She then houses that spaghetti.
Mattia sips on an espresso during his.
Truly the heroes we need during these times.
Mattia sips on an espresso during his.
Truly the heroes we need during these times.
January 2, 2026 at 6:49 PM
For those of you keeping score at home, I’ve been informed by Alessandra that it’s a classic spaghetti with oil and cheese!
Because this account right here really gets to the bottom of the important topics.
Because this account right here really gets to the bottom of the important topics.
Reposted by Sabine Oechsner
Folks, she brought a whole plate of spaghetti to the broadcast center to do her headshot. She then houses that spaghetti.
Mattia sips on an espresso during his.
Truly the heroes we need during these times.
Mattia sips on an espresso during his.
Truly the heroes we need during these times.
January 2, 2026 at 1:46 PM
Folks, she brought a whole plate of spaghetti to the broadcast center to do her headshot. She then houses that spaghetti.
Mattia sips on an espresso during his.
Truly the heroes we need during these times.
Mattia sips on an espresso during his.
Truly the heroes we need during these times.
Deadline is January 7. Still a few days left to apply...
Interested in the security of MPC implementations?
Peter Scholl (@schollster.bsky.social) and I are looking for research interns to study the theory/practice gap for MPC. We can host multiple interns in Aarhus for the summer 2026.
More information: mpcinthewild.github.io
Help us spread the word!
Peter Scholl (@schollster.bsky.social) and I are looking for research interns to study the theory/practice gap for MPC. We can host multiple interns in Aarhus for the summer 2026.
More information: mpcinthewild.github.io
Help us spread the word!
MPC in the Wild is a research project that aims to study the real-world implementation security of MPC protocols, in particular, the gap between assumptions on the theory side and implementation choices made in practice.
mpcinthewild.github.io
January 2, 2026 at 10:17 AM
Deadline is January 7. Still a few days left to apply...
Reposted by Sabine Oechsner
cryptographers are people too, they lose their keys and everything
NEW EPISODE!
The IACR lost the keys to decrypt their encrypted election results. We welcome Matt Bernhard who works on secure voting systems to explain which Helios bits are homomorphically additive or not and more:
securitycryptographywhatever.com/2025/12/30/i...
www.youtube.com/watch?v=euw_...
The IACR lost the keys to decrypt their encrypted election results. We welcome Matt Bernhard who works on secure voting systems to explain which Helios bits are homomorphically additive or not and more:
securitycryptographywhatever.com/2025/12/30/i...
www.youtube.com/watch?v=euw_...
The IACR Can
The International Association of Cryptologic Research (IACR) held their regular election using secure voting software called Helios…and lost the keys to decr...
securitycryptographywhatever.com
December 31, 2025 at 2:25 AM
cryptographers are people too, they lose their keys and everything
Reposted by Sabine Oechsner
Advice I now give to grad students and postdocs in the sciences: Don’t just try to meet and impress senior scientists. They’ll retire soon. Get to know your fellow students - make friends where possible, be colleagues at least. These are the people you’ll be sharing the field with for decades.
December 26, 2025 at 7:01 PM
Advice I now give to grad students and postdocs in the sciences: Don’t just try to meet and impress senior scientists. They’ll retire soon. Get to know your fellow students - make friends where possible, be colleagues at least. These are the people you’ll be sharing the field with for decades.
Reposted by Sabine Oechsner
@rwc.iacr.org accepted talks are out....
rwc.iacr.org/2026/accepte...
I am not sure how they are going to fit them all into three days
rwc.iacr.org/2026/accepte...
I am not sure how they are going to fit them all into three days
RWC 2026 accepted papers
Real World Crypto Symposium
rwc.iacr.org
December 19, 2025 at 7:54 AM
@rwc.iacr.org accepted talks are out....
rwc.iacr.org/2026/accepte...
I am not sure how they are going to fit them all into three days
rwc.iacr.org/2026/accepte...
I am not sure how they are going to fit them all into three days
Reposted by Sabine Oechsner
Your quarterly reminder to submit a paper to Communications in Cryptology...
cic.iacr.org
It is Diamond Open Access (readers and authors do not pay) and it contains all your new cool cryptographic research.
Next deadline for submission is Feb 2nd.
cic.iacr.org
It is Diamond Open Access (readers and authors do not pay) and it contains all your new cool cryptographic research.
Next deadline for submission is Feb 2nd.
IACR Communications in Cryptology
cic.iacr.org
December 19, 2025 at 8:02 AM
Your quarterly reminder to submit a paper to Communications in Cryptology...
cic.iacr.org
It is Diamond Open Access (readers and authors do not pay) and it contains all your new cool cryptographic research.
Next deadline for submission is Feb 2nd.
cic.iacr.org
It is Diamond Open Access (readers and authors do not pay) and it contains all your new cool cryptographic research.
Next deadline for submission is Feb 2nd.
Come work with Peter Scholl @schollster.bsky.social and me in Aarhus!
Internships in MPC available, for both recent PhD graduates and current PhD students...
mpcinthewild.github.io
This is a project funded by the Zama Cryptanalysis Grant program
mpcinthewild.github.io
This is a project funded by the Zama Cryptanalysis Grant program
MPC in the Wild is a research project that aims to study the real-world implementation security of MPC protocols, in particular, the gap between assumptions on the theory side and implementation choices made in practice.
mpcinthewild.github.io
December 17, 2025 at 12:17 PM
Come work with Peter Scholl @schollster.bsky.social and me in Aarhus!
Reposted by Sabine Oechsner
Cryptography shows that AI filters will never work....
www.quantamagazine.org/cryptographe...
Nice application of crypto to AI, and shows that AI has inherent limitations.
www.quantamagazine.org/cryptographe...
Nice application of crypto to AI, and shows that AI has inherent limitations.
Cryptographers Show That AI Protections Will Always Have Holes | Quanta Magazine
Large language models such as ChatGPT come with filters to keep certain info from getting out. A new mathematical argument shows that systems like this can never be completely safe.
www.quantamagazine.org
December 16, 2025 at 7:08 AM
Cryptography shows that AI filters will never work....
www.quantamagazine.org/cryptographe...
Nice application of crypto to AI, and shows that AI has inherent limitations.
www.quantamagazine.org/cryptographe...
Nice application of crypto to AI, and shows that AI has inherent limitations.
Interested in the security of MPC implementations?
Peter Scholl (@schollster.bsky.social) and I are looking for research interns to study the theory/practice gap for MPC. We can host multiple interns in Aarhus for the summer 2026.
More information: mpcinthewild.github.io
Help us spread the word!
Peter Scholl (@schollster.bsky.social) and I are looking for research interns to study the theory/practice gap for MPC. We can host multiple interns in Aarhus for the summer 2026.
More information: mpcinthewild.github.io
Help us spread the word!
MPC in the Wild is a research project that aims to study the real-world implementation security of MPC protocols, in particular, the gap between assumptions on the theory side and implementation choices made in practice.
mpcinthewild.github.io
December 6, 2025 at 4:21 PM
Interested in the security of MPC implementations?
Peter Scholl (@schollster.bsky.social) and I are looking for research interns to study the theory/practice gap for MPC. We can host multiple interns in Aarhus for the summer 2026.
More information: mpcinthewild.github.io
Help us spread the word!
Peter Scholl (@schollster.bsky.social) and I are looking for research interns to study the theory/practice gap for MPC. We can host multiple interns in Aarhus for the summer 2026.
More information: mpcinthewild.github.io
Help us spread the word!
I had almost forgotten about Time AI
November 25, 2025 at 8:36 PM
I had almost forgotten about Time AI
Reposted by Sabine Oechsner
The International Association for Cryptologic Research has used heliosvoting.org – my online voting system – for a number of years.
This year, a trustee lost their secret key. The election has to be re-run.
Below, a few thoughts that didn't fit in the NYT piece.
www.nytimes.com/2025/11/21/w...
This year, a trustee lost their secret key. The election has to be re-run.
Below, a few thoughts that didn't fit in the NYT piece.
www.nytimes.com/2025/11/21/w...
Cryptographers Held an Election. They Can’t Decrypt the Results.
www.nytimes.com
November 22, 2025 at 2:40 AM
The International Association for Cryptologic Research has used heliosvoting.org – my online voting system – for a number of years.
This year, a trustee lost their secret key. The election has to be re-run.
Below, a few thoughts that didn't fit in the NYT piece.
www.nytimes.com/2025/11/21/w...
This year, a trustee lost their secret key. The election has to be re-run.
Below, a few thoughts that didn't fit in the NYT piece.
www.nytimes.com/2025/11/21/w...
Question for the dog people: Is there any way to communicate to otherwise well-behaved dogs that you want them to go away?
November 16, 2025 at 9:46 AM
Question for the dog people: Is there any way to communicate to otherwise well-behaved dogs that you want them to go away?
AV team knows the struggle
November 4, 2025 at 10:13 AM
AV team knows the struggle
Reposted by Sabine Oechsner
Every time I see physical attacks on TEEs, I wish someone would put out a position paper on @hdevalence.bsky.social 's "guy with a glock" model
x.com/hdevalence/s...
x.com/hdevalence/s...
October 29, 2025 at 4:46 PM
Every time I see physical attacks on TEEs, I wish someone would put out a position paper on @hdevalence.bsky.social 's "guy with a glock" model
x.com/hdevalence/s...
x.com/hdevalence/s...
Reposted by Sabine Oechsner
Program verification methods aim to be scalable (able to reason about large programs), automatic (require little human input), and precise (reason about complex properties). Yet no method does all three. In fact, they form a "trilemma". See this very short post: verse.systems/blog/post/20...
October 22, 2025 at 11:26 AM
Program verification methods aim to be scalable (able to reason about large programs), automatic (require little human input), and precise (reason about complex properties). Yet no method does all three. In fact, they form a "trilemma". See this very short post: verse.systems/blog/post/20...
Reposted by Sabine Oechsner
What is Cryptography Hiding from Itself? (Diego F. Aranha, Nikolas Melissaris) ia.cr/2025/1951
October 20, 2025 at 1:09 AM
What is Cryptography Hiding from Itself? (Diego F. Aranha, Nikolas Melissaris) ia.cr/2025/1951
Reposted by Sabine Oechsner
How dominant is LaTeX in computer science? Very. It turns out that among the 1895 papers uploaded to eprint.iacr.org this year, it looks like 3 were produced from typst, 10 were produced from Microsoft Word, and three of indeterminate origin. The rest were various flavors of LaTeX.
Cryptology ePrint Archive
eprint.iacr.org
October 19, 2025 at 7:23 AM
How dominant is LaTeX in computer science? Very. It turns out that among the 1895 papers uploaded to eprint.iacr.org this year, it looks like 3 were produced from typst, 10 were produced from Microsoft Word, and three of indeterminate origin. The rest were various flavors of LaTeX.
Reposted by Sabine Oechsner
Last chance to (self-) nominate for USENIX Security'26 Artifact Evaluation Committee!
You should expect a low load of ~1 artifact for functionality/reproducibility assessments per cycle (max 3 for the whole year).
Please support Open Science and fill the form by Oct 17: forms.gle/WoYRX4govNY1... 🚀
You should expect a low load of ~1 artifact for functionality/reproducibility assessments per cycle (max 3 for the whole year).
Please support Open Science and fill the form by Oct 17: forms.gle/WoYRX4govNY1... 🚀
(Self-)Nomination for the USENIX Security '26 Artifact Evaluation Committee (AEC)
For the seventh year, USENIX Security allows the evaluation of artifacts that support a paper: software, hardware, evaluation data and documentation, raw measurement data, raw survey results, mechaniz...
forms.gle
October 16, 2025 at 5:48 AM
Last chance to (self-) nominate for USENIX Security'26 Artifact Evaluation Committee!
You should expect a low load of ~1 artifact for functionality/reproducibility assessments per cycle (max 3 for the whole year).
Please support Open Science and fill the form by Oct 17: forms.gle/WoYRX4govNY1... 🚀
You should expect a low load of ~1 artifact for functionality/reproducibility assessments per cycle (max 3 for the whole year).
Please support Open Science and fill the form by Oct 17: forms.gle/WoYRX4govNY1... 🚀
Reposted by Sabine Oechsner
You are an Early Career Researcher in #cybersec? Here is an opportunity: The AEC chairs of @USENIXSecurity '26 are looking for (self)nominations for the Artifact Evaluation Committee. Deadline: October 17th, 2025, so sign up soon!
@chwress.bsky.social, @kumarde.bsky.social, @aurore-fass.bsky.social
@chwress.bsky.social, @kumarde.bsky.social, @aurore-fass.bsky.social
October 10, 2025 at 10:16 AM
You are an Early Career Researcher in #cybersec? Here is an opportunity: The AEC chairs of @USENIXSecurity '26 are looking for (self)nominations for the Artifact Evaluation Committee. Deadline: October 17th, 2025, so sign up soon!
@chwress.bsky.social, @kumarde.bsky.social, @aurore-fass.bsky.social
@chwress.bsky.social, @kumarde.bsky.social, @aurore-fass.bsky.social
Reposted by Sabine Oechsner
Who Verifies the Verifiers? Lessons Learned From Formally Verified Line-Point Zero-Knowledge (Sabine Oechsner, Vitor Pereira, Peter Scholl) ia.cr/2025/1835
October 8, 2025 at 3:36 AM
Who Verifies the Verifiers? Lessons Learned From Formally Verified Line-Point Zero-Knowledge (Sabine Oechsner, Vitor Pereira, Peter Scholl) ia.cr/2025/1835
Reposted by Sabine Oechsner