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

I'm looking for a PhD student to work with me on formal verification for cryptographic protocols. This is a 4-year position at VU Amsterdam, co-supervised with Kristina Sojakova. Send me an email if you want to know more!

Optimizing and Implementing Threshold MAYO (Diego Aranha, Giacomo Borin, Sofia Celi, Guilhem Niot) ia.cr/2026/710

We’re hiring in Artificial Intelligence We are recruiting two Lecturers / Senior Lecturers in AI to join our growing, world-leading community. 📅 Closing date: 24 March 🔗 Full details & apply: www.bristol.ac.uk/jobs/find/de... Please share with anyone who might be interested.

This was a fun piece of work, if your idea of fun is trying to prove false for a month before realising that the RFC and its reference implementation are equivalent for the parameters defined in the RFC (and elsewhere) but not for all values of the parameters. Fortunately for me, it's mine.

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!

Extending RISC-V to Support Flexible-Radix Multiply-Accumulate Operations (Isaar Ahmad, Hao Cheng, Johann Großschädl, Daniel Page) ia.cr/2026/108

Verified non-recursive calculation of Beneš networks applied to Classic McEliece (Wrenna Robson, Samuel Kelly) ia.cr/2026/107

SUBMIT

Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt (José Bacelar Almeida et al.) ia.cr/2025/1607

Threshold Signatures Reloaded: ML-DSA and Enhanced Raccoon with Identifiable Aborts (Giacomo Borin, Sofía Celi, Rafael del Pino, Thomas Espitau, Guilhem Niot, Thomas Prest) ia.cr/2025/1166

Come work with the rather excellent @bedow.bsky.social (and also me)

Parametrizing Maximal Orders Along Supersingular ℓ-Isogeny Paths (Laia Amorós, James Clements, Chloe Martindale) ia.cr/2025/033

Khanh and Eamonn are organising UK Crypto Day on 20 February at King's College London. Registration is free (and open) but required: uk-crypto-day.github.io/2025/02/20/u... Help us spread the word and see you there.

The ProTeCS 2025 call for presentations is out. (Short) Submissions by February 20, 2025. Then off to Madrid just before EuroCrypt to present your nerdy results. (May 3.) Proof nerds: shape the community, and submit the kind of work you want to hear about! protecs-workshop.gitlab.io/call

The EasyCrypt proofs for X-Wing are now on GitHub: github.com/formosa-cryp...

Stipend applications for #RealWorldCrypto2025 are now open! These grants support students, early-career researchers, and individuals from underrepresented groups, enabling them to engage with pivotal developments in cryptographic research and applications. rwc.iacr.org/2025/stipend...

My department is recruiting two lecturers (~ assistant professors) www.kcl.ac.uk/jobs/096025-... Cryptography is not high on the list of priorities for these ones, though.

The Rumineers

We are happy to announce the release of OpenMLS v0.6, a significant update to our open-source MLS implementation. This version includes several new features and improvements. Read all details on the blog: https://buff.ly/47aL5dz #MLS #opensource #cryptography

We are hiring a postdoc at LMU's Munich Center for Mathematical Philosophy. Areas: decision theory, social choice theory, philosophy of action, the study of agency & free will, and/or related themes in the philosophy of mind. Deadline 8 Sept. Please spread the word. job-portal.lmu.de/jobposting/4...

At @SandboxAQ we're hiring for an engineering consulting position in the areas of (post-quantum) cryptography or privacy: www.iacr.org/jobs/item/3716 part-time or full-time.

Postdoc Position in Cryptography: Social Foundations of Cryptography: martinralbrecht.wordpress.com/2024/06/11/c... Se also: social-foundations-of-cryptography.gitlab.io

A Tight Security Proof for SPHINCS⁺, Formally Verified (Manuel Barbosa, François Dupressoir, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub) ia.cr/2024/910

The University of Bristol is looking to grow its verification activities. A lectureship in verification is open in an adjacent group. The group itself is very project-driven, with the environment around it giving a nice mix of curiosity- and mission-driven groups. www.bristol.ac.uk/jobs/find/de...

We are looking for a postdoc to work with us on lattice-based cryptography: www.kcl.ac.uk/jobs/090126-... Stuff like e.g. this malb.io/sis-with-hin... Funded by this grant: martinralbrecht.wordpress.com/2023/01/31/e...

Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt (José Bacelar Almeida et al.et al.) ia.cr/2024/843

SQIsign2D-West: The Fast, the Small, and the Safer (Andrea Basso, Luca De Feo, Pierrick Dartois, Antonin Leroux, Luciano Maino, Giacomo Pope, Damien Robert, Benjamin Wesolowski) ia.cr/2024/760

UK Crypto Day | 20 June 2024 | Edinburgh uk-crypto-day.github.io/2024/06/20/u...