The submission server for #STOC2027 is open! stoc27.hotcrp.com Submission instructions and Call for Paper: acm-stoc.org/stoc2027/sto...
STOC 2027
stoc27.hotcrp.com
Aleksei Udovenko
@affine.group
Researcher in Cryptography (symmetric-key, white-box, post-quantum, etc.) https://affine.group
The submission server for #STOC2027 is open! stoc27.hotcrp.com Submission instructions and Call for Paper: acm-stoc.org/stoc2027/sto...
STOC 2027
stoc27.hotcrp.com
Too many people are calling on the community to "change how we value papers". Not enough people are posting "this is what we look for in our next hiring round".
New paper dropped! We explore the expansion properties of the superspecial isogeny graph in dimension g > 1 (with level structure), and give several applications of this result. tl;dr: they are not optimal expander graphs but still provide enough expansion for cryptographic use! ia.cr/2026/2429
Rapid mixing in superspecial isogeny graphs
We prove expansion properties of superspecial isogeny graphs in dimension $g \geq 2$, including arbitrary level structure. In particular, we provide explicit bounds for the spectral gap, and a fine ch...
ia.cr
I was curious about a question: how much cryptanalytic work have human beings done on various problems, and how much AI inference does that represent? So I asked Claude and Astra to measure. bitsofwork.org
Measuring Cryptanalytic Effort
A bibliometric estimate of how much public cryptanalysis each public-key assumption has received, and what that effort would cost under assumed AI productivity.
bitsofwork.org
The list of accepted papers to IACR TCC 2026 is available online: iacr.org/cryptodb/dat...
Papers from TCC 2026
iacr.org
I am happy to announce that our new post-quantum NIKE (non interactive key exchange) called MIKE (module isogeny key exchange) got released today: mike.isogeni.es
MIKE - PQ NIKE
mike.isogeni.es
New paper! Given a Jacobian over Fp, can you easily check supersingularity? If you've worked with these objects in magma, you know how annoying this question can be. Turns out it's very easy: we give efficient probabilistic tests, and conclusive if you need to be absolutely sure. ia.cr/2026/2259
Supersingularity and Superspeciality Verification of Abelian Surfaces
Supersingular abelian surfaces are essential in isogeny-based cryptography. Despite this, we have no efficient algorithm to verify if a given abelian surface is supersingular. In this work, we initiat...
eprint.iacr.org
I'd like to remind IACR members to sign up for discuss.iacr.org so they can participate in the discussion about how to adapt the society to the new world of publishing and conferences. If you don't have an account you can visit iacr.org/discuss/
accounts on discuss.iacr.org
iacr.org
Yes, to all the thread. But government assessment of universities would need to change away from for-profit, quantity & IF. Many times, the rules for assessment are made by academics who enjoy the status quo, and so we continue with these problems.
There is one regulatory mechanism that can make this happen: funder and university action. Funders and universities require the research they fund to be published. Great, keep doing that. Just require it to be in non-profit journals. Keep walking and talking with me here... 👣 9/n
Great 🧵 from @hansonmark.bsky.social on why all academics should be opting to publish in non-profit journals 👏👏👏👇
I'm surprised a community of publishing writers can blame AI for the problems of peer review when those same writers cite our study, "the strain on scientific publishing", which characterizes how this problem existed before AI. bit.ly/StrainQSS It's the incentives structure, not the AI. 1/n
Had a UKRI funded grant proposal rejected at the "AI triage stage". "This AI-based triage was used only to identify approximately 50% of the strongest proposals to take forward to full human review." 🧪 #academicsky
Quite the exciting talk by Ryan O'Donnell (@booleananalysis.bsky.social) at the Simons Institute next week, on Expander Graphs. We'll finally know which ones are his favorites! Livestream option available upon (free) registration: simons.berkeley.edu/events/my-fa... @simonsinstitute.bsky.social
My Favorite Expanders | Richard M. Karp Distinguished Lecture
Expander graphs are sparse graphs for which, whenever you split the graph into two parts, the number of edges going between the parts is proportional to the size of the smaller part. There are extreme...
simons.berkeley.edu
"Algorithms for solving the isogeny problem with oriented elliptic curves" is accepted to IACR Communications in Cryptology. Paper: eprint.iacr.org/2026/1219
Algorithms for solving the isogeny problem with oriented elliptic curves
We introduce WayFinder, a framework for generalizing the Delfs-Galbraith and SuperSolver algorithms for the supersingular isogeny problem. Our framework extends the search for elliptic curves with an ...
eprint.iacr.org
Forging 1024-bit RSA signatures in nearly SNFS time Hand over your HSM for some time, and we can forge signatures for its key. Arbitrary signatures. Forever. github.com/ucsd-hacc/NS...
GitHub - ucsd-hacc/NSNFSSSFSFN: Nearly SNFS-Speed Signature Forgery Sans Factoring N
Nearly SNFS-Speed Signature Forgery Sans Factoring N - ucsd-hacc/NSNFSSSFSFN
github.com
A different view. As a cryptographer (or maybe, as me - some cryptographers are in a different camp), I mostly agree with what @wtgowers.bsky.social is saying - my goal is to solve problems, and if AI does it better, then so be it. My problem is ethical. The way (say) OpenAI approaches it is wrong.
I've written a blog post responding to the letter about maths and AI signed by 25 Fields medallists. As with the Leiden Declaration, I didn't sign it, but I agree with much of it and welcome its existence. gowers.wordpress.com/2026/09/17/w...
The Call for Papers for #STOC2027 is up! Importantly, the PC "will place substantial weight on the quality of exposition, and clarity of technical arguments and proofs" Also: - Public posting requirement - Required video submission and more. Deadline: ⏰ Nov 2, AoE acm-stoc.org/stoc2027/sto...
STOC call for papers is out. Deadline is November 2. acm-stoc.org/stoc202... New rules for the AI era: limited submissions, public posting and a required video. Is it a coincidence that the camera-ready deadline is April Fools Day?
TL;DR: using compression before encryption is much weaker than we thought. Tiny length differences can be amplified - almost without limit - and noise-based or bucketization countermeasures are then easy to bypass. Joint work with @prefix-free.bsky.social and Lenka Mareková, to appear at CCS 2026.
Criminology: Refined Techniques for Compression Side-Channel Attacks (Yuanming Song, Lenka Mareková, Kenneth G. Paterson) ia.cr/2026/1972
🚨Update: Our analysis of global APC expenditure has now been expanded to cover more publishers (7 -> 14) and more years (2019-2025). We estimate $15B in APCs paid over seven years, $3.7B in 2025 alone. Elsevier crosses the $1B threshold by itself in 2025. arxiv.org/abs/2608.16322 #ScholComm
🚨 Preprint! We combine our recent open dataset of #APC prices with the article counts per journal-year from #OpenAlex to estimate how much the academic community has paid in APCs over the last 5 years. A. $8.349 billion ($8.968 B in 2023 USD) $2.5B in 2023 alone. arxiv.org/abs/2407.16551 #metasci
I did a somewhat deep dive into the recent OpenAI and Anthropic "hacks" for an upcoming interview. IMO, the AI companies are better off running with the "rogue AI" story because the real story is actually pretty embarrassing. Like making your Wi-Fi password "wifi" embarrassing. 🧵
Cryptanalysis of the Alternative Mod-2/Mod-3 Weak PRF (Augustin Bariant, Christina Boura, Baptiste Germon, Rachelle Heim, Charles Meyer-Hilfiger, Tyge Tiessen) ia.cr/2026/1982
Two-Anchor Holdout/Hermite: Solving the TII-254 McEliece Key Recovery Challenge (Markku-Juhani O. Saarinen) ia.cr/2026/1986
SoK: Zero-Knowledge Friendly Hash Functions over Prime Fields (Clémence Bouvier, Lorenzo Grassi, Katharina Koschatko, Christian Rechberger, Fabian Schmid, Matthias Johann Steiner, Zhuo Wu, Hailun Yan) ia.cr/2026/1931
📢 Our first TCS+ talk of the season will be Wednesday, Sep 16 (10am PT, 1pm ET, 19:00 CEST): Tselil Schramm, from Stanford, will give a survey of "10 years of the low-degree framework in average-case complexity" RSVP to receive the link (one day prior to the talk): docs.google.com/forms/d/e/1F...
TCS+ RSVP: Tselil Schramm (2026/09/16)
10 years of the low-degree framework in average-case complexity
docs.google.com
Am teaching grad complexity theory at CMU; about 1/3 of the lectures will be new (vs. last time), 'modern' results. Videos are going onto www.youtube.com/@ComplexityT... which will later also feature student videos. We did Williams (/Cook-Mertz/Shalunov) TIME(t) in SPACE(~√t) today.
Complexity Theory At Carnegie Mellon
youtube.com
Nothing Up My Matrix: Kleptographic Backdoors in ZK-friendly Hash Functions (Hyunsik Jeong, Malte Sander Leip, Mincheol Son) ia.cr/2026/1901
A Better Bivariate Resultant Attack on Round-Reduced Poseidon (Antoine Bak, Maël Hostettler) ia.cr/2026/1905