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...