Sabine Oechsner's Avatar

Sabine Oechsner

@proofnerd

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

223
Followers
196
Following
71
Posts
01.12.2024
Joined
Posts Following

Latest posts by Sabine Oechsner @proofnerd

RWC 2028 will be in Bochum, Germany!

#realworldcrypto

11.03.2026 08:12 πŸ‘ 3 πŸ” 1 πŸ’¬ 3 πŸ“Œ 1

Bas says Cloudflare has PQ internships in London Lisbon and Austin

LUNCH

#realworldcrypto

11.03.2026 03:50 πŸ‘ 4 πŸ” 3 πŸ’¬ 2 πŸ“Œ 0

More information on our website mpcinthewild.github.io#workshop, or come talk to me or @schollster.bsky.social at RWC!

11.03.2026 03:36 πŸ‘ 1 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Post image Post image

Speaker Nikolas Melissaris talks about What Is Cryptography Hiding from Itself? by Diego F. Aranha and Nikolas Melissaris.

10.03.2026 08:28 πŸ‘ 9 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0

RWC’s official unofficial scribe! Follow along with @durumcrustulum.comβ€˜s play-by-play.

09.03.2026 01:36 πŸ‘ 4 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0
Post image

We’re live!

09.03.2026 02:02 πŸ‘ 10 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0
Preview
The Real World Crypto Symposium 2026 ( RWC 2026)- March 9, 2026 YouTube video by δΈ€ζ¬£εœ‹ιš›ζœƒθ­°ι‘§ε•ζœ‰ι™ε…¬εΈ

RWC livestream has started at www.youtube.com/live/QQhyxFj...

09.03.2026 01:12 πŸ‘ 7 πŸ” 4 πŸ’¬ 0 πŸ“Œ 1

Watching remotely? You can follow Real World Crypto 2026 on YouTube livestreams (also available via the website):

Day 1 (Mar 9): youtube.com/live/QQhyxFj...
Day 2 (Mar 10): youtube.com/live/00zvMSW...
Day 3 (Mar 11): youtube.com/live/v_AFtbW...

08.03.2026 13:13 πŸ‘ 12 πŸ” 6 πŸ’¬ 0 πŸ“Œ 1
CASA Summer School | Cluster of Excellence CASA | RUB The annual summer school offers young scientists lectures by high-ranking scientists and international exchange.

Consider attending our CASA summer school on cryptography and distributed computing from June 22.-25. in Bochum! Registration is open until March 12.

casa.rub.de/en/events/ca...

07.03.2026 12:32 πŸ‘ 7 πŸ” 5 πŸ’¬ 0 πŸ“Œ 0
Preview
FLoC 2026 Mentoring Workshop - Application for Travel Scholarship A number of travel scholarship are available to sponsor the physical attendance of students at one of the FLoC 2026 conference blocks and the corresponding Mentoring Workshop day. Please fill this for...

**Call for Scholarship Applications**
Limited travel support available for students attending #FLoC26 Mentoring Workshop @floc2026.bsky.social.

Deadline: 13 April, 2026
Apply at: forms.gle/89q9AaNfZV3f...
Notification: 20 April, 2026

Help us spread the word!
More details: tinyurl.com/floc26mw

03.03.2026 16:38 πŸ‘ 4 πŸ” 5 πŸ’¬ 0 πŸ“Œ 0

How do you suggest to deal with those papers during peer review?

03.03.2026 06:37 πŸ‘ 1 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0
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 πŸ‘ 79 πŸ” 22 πŸ’¬ 5 πŸ“Œ 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 πŸ‘ 3564 πŸ” 1300 πŸ’¬ 194 πŸ“Œ 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?
Why are these slow trains called Sprinter? YouTube video by Trains Are Awesome

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 πŸ‘ 158 πŸ” 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