Anyway, your problem isn‘t finding the time to take notes. The problem is that taking notes is thinking and thinking has to be done by someone. women have been doing a lot of metacognition that looks like a task when it’s really thinking.
Sabine Oechsner
@proofnerd.bsky.social
cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam soechsner.de
The IACR board has put forward a proposal to revamp the publishing of the general conference proceedings for Eurocrypt, Crypto, and Asiacrypt. iacr.org/hybridpropos... I would encourage members to engage in discussion about this on iacr.org/discuss
Concrete Hybrid Journal Proposal
iacr.org
The documentation now includes a section on security fixes. mp-spdz.readthedocs.io/en/latest/se...
Security Fixes — MP-SPDZ documentation
mp-spdz.readthedocs.io
I'm looking for a job! I'm an experienced researcher in cryptography. My focus is on the transition to post-quantum cryptographic protocols and protocols related to blockains. If that sounds like someone you might want to hire or you know someone who might, let's talk!
Principles for pRHL Proofs of Cryptographic Protocols: How to Convince EasyCrypt that your Protocol is Secure (Manuel Barbosa, François Dupressoir, Cameron Low, Charlotte Mylog, Sabine Oechsner, Théo Vignon) ia.cr/2026/1334
I am looking for a (fully funded) PhD student working with me in Glasgow on provable security! www.iacr.org/jobs/item/4226
PhD Student
iacr.org
Seems like a nice program. See you at Bristol :) uk-crypto-day.github.io/2026/06/17/u...
UK Crypto Day
Schedule 09:00 - 09:45 Arrival 09:45 - 10:00: Opening remarks 10:00 - 10:45: Sofia Celi: Threshold Post-Quantum Signatures 10:45 - 11:15: Break 11:15 - 12:00: Thalia Laing: Lessons from deploying LMS ...
uk-crypto-day.github.io
The Workshop on Attacks in Cryptography 8 (WAC8) website is finally up, and our call for talks is open. Submit your cool cryptanalysis before July 3! We'll also invite speakers. If you had a favorite cryptographic attack from the last two years that we should invite, please put it in the comments.
![call for talks
WAC accepts proposals for contributed talks. Submissions will be evaluated based on their relevance to the following topics:
- Cryptanalysis of deployed cryptography
- Cryptanalysis of recently suggested cryptographic schemes or primitives
- New cryptoanalytic techniques
- Systems attacks breaking cryptography or bypassing underlying assumptions
Please include the following information in your contributed talk submission.
- Title.
- Description of the talk content, including: short abstract (to be published on the website on talk acceptance), and one of the following three: extended abstract describing the talk. [preferred option], a full paper and a short description of which aspects the talk will focus on. slides for a presentation, together with either speaker notes or a short outline of the non-visual content of the talk.
- Speaker information: Name, Affiliation, Short bio (to be published on the website on talk acceptance), A brief description of the relevant experience of the speaker, e.g. links to previous talks.
Submit your proposal by email to the organizers at wac@cryptanalysis.fun by July 3, 2026 AoE.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:yks27ajyuw46dn6uli6tiurm/bafkreigijuejovnd6nkj4qv3zstquy6zypals6tqcw3by2njr4bfycyek4)
Check out the latest blog post on our website by Neus Vayà, who attended #TPMPC 2026 in Denmark. In the post, she discusses the paper “When Trying to Catch Cheaters Breaks the MPC” by Andreas Brüggemann and Thomas Schneider: www.esat.kuleuven.be/cosic/blog/t...
TPMPC 2026: “When trying to catch cheaters breaks the MPC” - COSIC
COSIC - TPMPC 2026: “When trying to catch cheaters breaks the MPC” (COSIC Cryptography Blog )
esat.kuleuven.be
As GenAI systems do more and more, even generate proofs, the focus shifts to getting high-quality specifications. What can a *responsible* programmer do? Any solution should generate work that is *meaningful* and *moderate*. We've been working on that! blog.brownplt.org/2026/06/09/p...
Human Judgment as a Specification
blog.brownplt.org
UNSW Sydney is hiring an associate professor and a lecturer in cryptography, and the description explicitly mentions *secure computation*. Didn't you want to live in the sunniest of the most livable cities in the world?
Associate Professor in Cryptography
Join an organisation that is shaping the future direction of cryptography and secure computation in Australia, in a senior academic role that combines research leadership, strategic contribution, and ...
external-careers.jobs.unsw.edu.au
Just read through this blogpost "Contextualising Cryptography" by @senykamara.com. It hits some of the issues I have been facing in choosing the right problems for my research, even before starting my phd (advisor reveal post coming up soon). senykamara.substack.com/p/contextual...
Contextualizing Cryptography
What Is Cryptography For?
senykamara.substack.com
A list of principles put forth by mathematicians, for mathematicians and other researchers, regarding the use of AI in research. "Number #9 will surprise you!" leidendeclaration.ai
Leiden Declaration on Artificial Intelligence and Mathematics
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.
leidendeclaration.ai
And the website with details and registration form is up! sites.google.com/view/sydney-... Join us on July 22–24 at #USyd, in the @sydneycompsci.bsky.social, for a 3-day (free) intensive winter school on Interactive Proofs and the PCP Theorem! [Remote participation possible]
Sydney TCS Winter School 2026
📅 July 22—24, 2026 🌏 Sydney (Australia)
sites.google.com
Clément Canonne@ccanonne.github.io · 2mo agoTeaser: a colleague (Sasha Rubin) and I are planning a 3-day (free) "intensive Winter school" at #USyd on computational complexity: specifically, interactive proofs (IP=PSPACE) and the PCP theorem. July 22-24! I don't know how many people here are nearby and keen, but if you are: please do join!
Teaser: a colleague (Sasha Rubin) and I are planning a 3-day (free) "intensive Winter school" at #USyd on computational complexity: specifically, interactive proofs (IP=PSPACE) and the PCP theorem. July 22-24! I don't know how many people here are nearby and keen, but if you are: please do join!
Thinking about why women might not want to use a product that has forced itself into every software interface to confidently shout things that are wrong
blair@blairaf.com · 2mo agoOne of the more misogynistic takes currently trending in the AI policy space is "women use less AI than men because they have less tech literacy" Ok but have you considered that women use less AI than men because we have more tech literacy?
Last week I discovered that ChatGPT and Claude will send you their “encrypted raw reasoning” and of course I immediately wasted a weekend trying to do something bad with it. What I got for my trouble was this blog post: blog.cryptographyengineering.com/2026/05/29/f...
Fooling around with encrypted reasoning blobs
This is a quick post I wanted to write about a “hobby project” I spent a weekend on. It has little to do with real cryptography, and mostly doesn’t expose a particularly exciting …
blog.cryptographyengineering.com
The Call for Contributed Talks for the 2027 edition of the Real World Crypto Symposium 2027 is now open. If you’ve built, deployed, broken, measured, migrated, or learned something the community should hear about, submit it. rwc.iacr.org/2027/contrib...
RWC 2027 call for papers
Real World Crypto Symposium
rwc.iacr.org
I'm making a puzzle game where you discover German for yourself, starting from shared etymology and cultural knowledge. It's called German Is ~~Awful~~ Easy and the first five levels are up! Feedback welcome! michellefullwood.com/languages/ge... #puzzles #etymology #LearnGerman
Very insightful short essay by Petra Schwer ( mathstodon.xyz/@PetraSchwer ): ‘The meaning of doing mathematics’ “(Can AI solve all math? What do we actually mean by doing mathematics? How do we communicate mathematics? What is mathematics beyond problem solving?)” arxiv.org/abs/2509.15998
The meaning of doing mathematics
Can AI solve all math? What do we actually mean by doing mathematics? How do we communicate mathematics? What is mathematics beyond problem solving? This essay is my attempt to answer these question...
arxiv.org
For anyone interested in being a tadpole reviewer (interesting concept, suitable for PhD students and early post-docs) for PETS 2027, you can submit an application using the following link: cryptpad.fr/form/#/2/for.... The PC application form can also be found on the website.
You may find the comments by Melanie Matchett Wood on the discovery of a counter example to Erdős’ Unit Distance Conjecture as interesting as I did 👇🏼(see previous post for a link)
The OpenAI breakthrough on the unit distance problem seems genuinely impressive to my semi-layman eye. (It is!) One possible takeaway, though, is that if you throw an incredible amount of money and resources at focused research, there WILL be impressive progress. I wish we tried that, too.
Nominate yourself to help review papers for USENIX Security 2027! sec-rms.com/submit-appli... (or rms.swag.cispa.de/submit-appli... ). Deadline: May 28, 2026. We're looking for both senior and junior people. See Andrei Sabelfeld's LinkedIn post for more info: www.linkedin.com/feed/update/...
Signal PC interest - USENIX Security Symposium
sec-rms.com
I think the screenshoted take is insane. If a mathematician discovered something with Matlab, if a scientist uses an algorithm, if a designer uses Adobe, if anything like that, the work belongs to the user. But big tech companies have been trying to claim the work of their users for a decade now.
dan@danabra.mov · 3mo agoculturally this bit is blowing my mind a bit (and may be what @radokirov.bsky.social alluded to in his last blog post). i would think that the achievement is the result itself, and the credit “belongs” to the prompter for making it known to the world, whatever the tools and means
Join us June 11-12 for a workshop on Differential Privacy and Unlearning in Machine Learning at University of Copenhagen! The workshop will feature tutorials, three great invited speakers (@grahamrc.bsky.social, @ahonkela.bsky.social and @koloskova.bsky.social), as well as contributed talks.
Fascinated by this M.C. Escher-esque suitcase on the Charles de Gaulle Airport website
Join us tomorrow for ProTeCS, one of Eurocrypt’s affiliated events! We are thankful to have two amazing invited speakers, Bart Mennink and Mike Rosulek! We are also happy to have seven contributed talks from the community. Check out our full program here: protecs-workshop.gitlab.io/program
Program
Workshop on Proofs and Proof Techniques for Cryptographic Security. Affiliated with Eurocrypt 2026.
protecs-workshop.gitlab.io
My time at RUB is coming to an end and I'm looking for an industry position. Primarily looking for remote or Rhine-Ruhr area positions, but will consider any exceptional offers. So if you're looking to hire a cryptographer to work on cryptographic protocols, or related areas, maybe we should talk!