Sabine Oechsner's Avatar

Sabine Oechsner

@proofnerd.bsky.social

cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam soechsner.de

221 Followers  |  196 Following  |  69 Posts  |  Joined: 01.12.2024
Posts Following

Posts by Sabine Oechsner (@proofnerd.bsky.social)

Preview
Cryptography Engineering Has An Intrinsic Duty ofย Care To understand my point, I need to first explain three different cryptography attack papers / blog posts. I promise this won't be boring. Three Little Dislcosures Misuse-Prone Ciphers For All In a blog post titled Carelessness versus craftsmanship in cryptography, cryptography analyst and Queer in Cryptography emcee Opal Wright delves into the misuse-prone and side-channel-riddled JavaScript and Python implementations of the AES block cipher.

Cryptography engineering has an intrinsic duty of care.

25.02.2026 21:57 โ€” ๐Ÿ‘ 77    ๐Ÿ” 22    ๐Ÿ’ฌ 4    ๐Ÿ“Œ 0

If you have an IND-CCA2 scheme but you only want IND-CPA you can use the FAFO transform

25.02.2026 00:35 โ€” ๐Ÿ‘ 10    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
How far back in time can you understand English? An experiment in language change

If you liked this experiment, I published a full piece today in the same vein: a text that gets 100 years older with every section, from a modern blog post to a medieval chronicle.

It's a single story spanning 1000 years of English. See how far you get.

www.deadlanguagesociety.com/p/how-far-ba...

18.02.2026 18:40 โ€” ๐Ÿ‘ 3558    ๐Ÿ” 1297    ๐Ÿ’ฌ 193    ๐Ÿ“Œ 478

๐Ÿ“ข We have extended the deadline for our EC workshop to *Monday AoE*!

Submit your talk proposal on any topic related to cryptographic proofs and proof techniques ๐Ÿค“

Take the opportunity to advertise your ongoing, submitted or published work, or to share other insights related to security proofs

18.02.2026 12:03 โ€” ๐Ÿ‘ 9    ๐Ÿ” 4    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Remember to submit your ProTeCS talk. The deadline is on Thursday!

14.02.2026 21:07 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

When Zero-Knowledge Proofs Are Not Enough: Lessons from a Real-World Zero-Knowledge Authorization System, a.k.a Analysis and Vulnerabilities in zkLogin (eprint.iacr.org/2026/227) (1/n)

13.02.2026 17:06 โ€” ๐Ÿ‘ 7    ๐Ÿ” 4    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

(It's because back in the days, when your train had to stop all the time, you wanted a special type of train that could accelerate faster than a regular train... and then the name stuck.

12.02.2026 19:58 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Why are these slow trains called Sprinter?
YouTube video by Trains Are Awesome Why are these slow trains called Sprinter?

TIL there is an actual historic reason for why the Dutch gave their slow local trains the very intuitive name "sprinter"

m.youtube.com/watch?v=gTjy...

12.02.2026 19:56 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Post image

German place-names rendered into English (morphologically reconstructed from historical forms)

10.02.2026 11:59 โ€” ๐Ÿ‘ 156    ๐Ÿ” 31    ๐Ÿ’ฌ 10    ๐Ÿ“Œ 6

Call for submissions: #TPMPC2026 (Theory & Practice of MPC)

Submit your latest and coolest results by March 2, 2026.

Aarhus, Denmark, May 18โ€“22, 2026.

Monday: MPC security in practice.

Friday: Symposium celebrating Ivan Damgรฅrdโ€™s work.

Links in comments.

10.02.2026 08:18 โ€” ๐Ÿ‘ 6    ๐Ÿ” 6    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
PrivCrypt 2026

I am co-organising (with @drl3c7er.bsky.social and Lucjan Hanzlik) a workshop on Privacy-Enhancing Cryptography in Rome on May 10 as an affiliated event to IACR Eurocrypt. Submit your best PEC-work (3-page extended abstract) for presentation by February 25th: privcryptworkshop.github.io

05.02.2026 23:26 โ€” ๐Ÿ‘ 11    ๐Ÿ” 9    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
RWC 2026 registration Real World Crypto Symposium

Last chance: the early registration deadline is tomorrow, February 6 (AoE).
rwc.iacr.org/2026/registr...

05.02.2026 15:37 โ€” ๐Ÿ‘ 1    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
International Association for Cryptologic Research

The IACR board sent a survey to members last year, and it took us a while to analyze the results and publish findings. You can see them at iacr.org/surveyresults/

03.02.2026 00:24 โ€” ๐Ÿ‘ 8    ๐Ÿ” 9    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 2

What are you, a programmer?

30.01.2026 13:53 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0
Call for Presentations Workshop on Proofs and Proof Techniques for Cryptographic Security. Affiliated with Eurocrypt 2026.

Planning your trip to Eurocrypt or looking for an excuse to still go? The reviewers did not appreciate your too involved or too elegant proofs?

Consider submitting a talk to ProTeCS (protecs-workshop.gitlab.io), an affiliated event of EC, where we celebrate proofs as independent objects of study!

30.01.2026 12:51 โ€” ๐Ÿ‘ 11    ๐Ÿ” 4    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 2
Call for papers

Now's your chance to participate in growing academic cryptography participation in the Middle East and North Africa region: the Africacrypt call for papers is out!

Submit your paper and come join us this July in beautiful Hammamet, Tunisia: www.africacrypt2026.tn/call-for-pap...

29.01.2026 11:33 โ€” ๐Ÿ‘ 7    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

What package did you use for the code?

27.01.2026 22:55 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
School: Introduction to Isogeny-based Cryptography (TSVP-TP25IC) Title: "Introduction to Isogeny-based Cryptography" Abstract: Isogeny-based cryptography is a fast-moving field, and recent developments have introduced several new techniques, making the barrier of e...

Bit of a last-minute announcement: school on isogenies 9 - 13 Feb at Okinawa Institute of Science and Technology (OIST)
groups.oist.jp/tsvp/event/s...
Registration deadline is tomorrow (15 Jan).

14.01.2026 01:34 โ€” ๐Ÿ‘ 2    ๐Ÿ” 5    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
We're hosting an Autumn School in London, UK, from 15 to 17 September 2026, to bring together ethnographers and cryptographers to discuss ways in which the two fields can be meaningfully brought into conversation.

This is also the premise of our Social Foundations of Cryptography project: to ground cryptography in ethnography. Here, we rely on ethnographic methods, rather than our intuition, to surface security notions that we then formalise and sometimes realise using cryptography.

Our intention is to 'flip' the typical relationship between the computer and social sciences, where the latter has traditionally ended up in a service role to the former. Rather, we want to put cryptography at the mercy of ethnography.

But how do we do this? How do we as cryptographers interact with and make sense of ethnographic field data? How can we refine, improve or extend this interaction? What obstacles do we face when we make cryptography rely on ethnographic data which is inherently 'messy'? How do we handle that cryptographic notions tend to require some form of generalisation but ethnographic findings can only be particular?

How do ethnographers retain the richness of ethnographic field data in conversations with cryptographic work? Indeed, our project has already highlighted some limitations of our approach. It has brought to the fore concrete challenges in 'letting the ethnographic data speak' while still making it speak to cryptography.

The Autumn School is an opportunity to explore these questions jointly across ethnography and cryptography, through a series of talks, group discussions and activities.

We say a bit more about the programme and registration for the Autumn School here.

We're hosting an Autumn School in London, UK, from 15 to 17 September 2026, to bring together ethnographers and cryptographers to discuss ways in which the two fields can be meaningfully brought into conversation. This is also the premise of our Social Foundations of Cryptography project: to ground cryptography in ethnography. Here, we rely on ethnographic methods, rather than our intuition, to surface security notions that we then formalise and sometimes realise using cryptography. Our intention is to 'flip' the typical relationship between the computer and social sciences, where the latter has traditionally ended up in a service role to the former. Rather, we want to put cryptography at the mercy of ethnography. But how do we do this? How do we as cryptographers interact with and make sense of ethnographic field data? How can we refine, improve or extend this interaction? What obstacles do we face when we make cryptography rely on ethnographic data which is inherently 'messy'? How do we handle that cryptographic notions tend to require some form of generalisation but ethnographic findings can only be particular? How do ethnographers retain the richness of ethnographic field data in conversations with cryptographic work? Indeed, our project has already highlighted some limitations of our approach. It has brought to the fore concrete challenges in 'letting the ethnographic data speak' while still making it speak to cryptography. The Autumn School is an opportunity to explore these questions jointly across ethnography and cryptography, through a series of talks, group discussions and activities. We say a bit more about the programme and registration for the Autumn School here.

Social Foundations of Cryptography: Autumn School
London, UK | 15 to 17 September 2026
social-foundations-of-cryptography.gitlab.io/school

13.01.2026 16:30 โ€” ๐Ÿ‘ 9    ๐Ÿ” 6    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
DDR 0,4
0/-1
1/W

DDR 0,4 0/-1 1/W

So a question for people working on subways? Construction? My daughter wants to know what these scribbles on the wall of the subway tunnel shortly before Essen Main Station, approaching from the south might mean.

13.01.2026 07:09 โ€” ๐Ÿ‘ 1    ๐Ÿ” 2    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
I Tried to Be the Government. It Did Not Go Well. My five-month quest to monitor the weather, track inflation, and inspect milk for harmful microorganisms

if you want a long read that involves udders, a hot air balloon, and some extremely dubious data on egg prices, the story Iโ€™ve been working on for the last few months where I tried to single-handedly take on every government function myself is now online! www.theatlantic.com/magazine/202...

08.01.2026 20:41 โ€” ๐Ÿ‘ 1570    ๐Ÿ” 361    ๐Ÿ’ฌ 34    ๐Ÿ“Œ 83
Preview
RWC 2026 program Real World Crypto Symposium

The Real World Crypto 2026 program is now online: rwc.iacr.org/2026/program...

We look forward to seeing many of you!

08.01.2026 22:16 โ€” ๐Ÿ‘ 7    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1
Preview
[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 ...

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)

06.01.2026 21:30 โ€” ๐Ÿ‘ 8    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 2

He's a 10 but only in bits of security

06.01.2026 21:53 โ€” ๐Ÿ‘ 12    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1
Preview
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โ€ฆ

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...

05.01.2026 12:04 โ€” ๐Ÿ‘ 10    ๐Ÿ” 6    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

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.

02.01.2026 18:49 โ€” ๐Ÿ‘ 44    ๐Ÿ” 7    ๐Ÿ’ฌ 7    ๐Ÿ“Œ 2

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.

02.01.2026 13:46 โ€” ๐Ÿ‘ 4147    ๐Ÿ” 798    ๐Ÿ’ฌ 54    ๐Ÿ“Œ 158

Deadline is January 7. Still a few days left to apply...

02.01.2026 10:17 โ€” ๐Ÿ‘ 2    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

cryptographers are people too, they lose their keys and everything

31.12.2025 02:25 โ€” ๐Ÿ‘ 8    ๐Ÿ” 2    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

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.

26.12.2025 19:01 โ€” ๐Ÿ‘ 406    ๐Ÿ” 23    ๐Ÿ’ฌ 4    ๐Ÿ“Œ 6