Sabine Oechsner's Avatar

Sabine Oechsner

@proofnerd.bsky.social

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

217 Followers  |  193 Following  |  66 Posts  |  Joined: 01.12.2024  |  1.7801

Latest posts by proofnerd.bsky.social on Bluesky

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 โ€” ๐Ÿ‘ 8    ๐Ÿ” 8    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 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    ๐Ÿ“Œ 0
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 โ€” ๐Ÿ‘ 1564    ๐Ÿ” 358    ๐Ÿ’ฌ 33    ๐Ÿ“Œ 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 โ€” ๐Ÿ‘ 4111    ๐Ÿ” 781    ๐Ÿ’ฌ 55    ๐Ÿ“Œ 156

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 โ€” ๐Ÿ‘ 407    ๐Ÿ” 24    ๐Ÿ’ฌ 4    ๐Ÿ“Œ 6
Preview
RWC 2026 accepted papers Real World Crypto Symposium

@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

19.12.2025 07:54 โ€” ๐Ÿ‘ 7    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
IACR Communications in Cryptology

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.

19.12.2025 08:02 โ€” ๐Ÿ‘ 8    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Come work with Peter Scholl @schollster.bsky.social and me in Aarhus!

17.12.2025 12:17 โ€” ๐Ÿ‘ 4    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
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.

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.

16.12.2025 07:08 โ€” ๐Ÿ‘ 3    ๐Ÿ” 3    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Of course it does, it's a Maglite!

16.12.2025 07:22 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
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.

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!

06.12.2025 16:21 โ€” ๐Ÿ‘ 20    ๐Ÿ” 10    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

First time?

01.12.2025 11:48 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

That was in the good old days when you could always open the doors on both sides of the train. I believe you need serious commitment these days to pull that off.

28.11.2025 14:49 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

You are laughing, but my class managed to do that on a school trip once ๐Ÿฅฒ

28.11.2025 14:44 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I had almost forgotten about Time AI

25.11.2025 20:36 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@proofnerd is following 19 prominent accounts