Another @nadiaheninger.bsky.social W

NEU: Erklärvideo des Max Planck Institute for Security and Privacy zu #Chatkontrolle und #ClientSideScanning. Das Client-Side-Scanning ist ein Angriff auf Verschlüsselung und untergräbt jegliches Vertrauen in private Kommunikation. Die Bundesregierung muss […] [Original post on eupolicy.social]

Die #Chatkontrolle soll angeblich Kinder schützen, doch sogar der Kinderschutzbund ist entschieden gegen diese Maßnahme, weil sie unsere Grundrechte einschränkt ohne dabei effektiv zu sein kinderschutzbund.de/stellungnahm...

SUBMIT

FHE.org 2026 Taipei Registrations are open! Registrations are open for the 5th Annual FHE.org Conference on Fully Homomorphic Encryption, colocated with Real World Crypto 2026 in Taipei, Taiwan, on March 8, 2026. Get your tickets now! luma.com/fhe-org-conf...

We are alarmed by reports that Germany is on the verge of a catastrophic about-face, reversing its longstanding and principled opposition to the EU’s Chat Control proposal which, if passed, could spell the end of the right to privacy in Europe. signal.org/blog/pdfs/ge...

uASC 2026 will take place on February 3, 2026, in Leuven, Belgium, hosted by KU Leuven. Have you submitted your paper yet? 🤔 Cycle 2 Paper Submission Deadline is November 4, 2025! 👉 uasc.cc #uasc26

Whoa. 100 responses from speakers at CHES, and only one is presenting by video. Maybe their conference is actually worth going to?

Come to the ASCrypto school, affiliated with Latincrypt2025! 🗓️ Sept 29–30 | Medellín, Colombia 👨‍🏫 Learn 𝐦𝐨𝐝𝐞𝐫𝐧 𝐩𝐫𝐨𝐯𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 from top experts 💥 2 days, 3 modules: IVC, STARKs, MPC 👥 With Benedikt Bünz, Sophia Yakoubov, Alan Szepieniec Organised by the amazing Arantxa Zapico and Javier Verbel.

uASC 2026 will take place on February 3, 2026, in Leuven, Belgium, hosted by KU Leuven. We can't wait to see you next year! Cycle 1 Paper Submission Deadline is July 15, 2025! 👉 uasc.cc #uasc26

All papers should publish their code. Help realize this by becoming an artifact reviewer at NDSS'26, apply here: docs.google.com/forms/d/e/1F... You'll review artifacts of accepted papers. We especially encourage junior/senior PhD students & PostDocs to help. Distinguished reviews will get awards!

Kinderschutz im Netz bleibt oft Theorie: Informatikerin Veelasha Moonsamy untersuchte mit Kolleg*innen aus Belgien und den Niederlanden rund 70.000 Werbeanzeigen auf Webseiten für Kinder – mit alarmierenden Ergebnissen. 👉 news.rub.de/wissenschaft... (Foto: Roberto Schirdewahn)

The CHES 2025 Challenge is coming back with two tracks! 🔬 GE Wars: Test your DL-SCA skills on real-world AES EM traces. 🔧 HACK@CHES'25: Dive into hardware security on a custom OpenTitan SoC. 🔗 ches.iacr.org/2025/challen... #CHES2025 #SideChannel #HardwareSecurity

Our paper on attacking concurrent MPC implementations is finally on eprint 🎉 (And @schollster.bsky.social will present it at S&P 2025!) A summary 🧵

Just about ready to set off to Madrid for #eurocrypt 2025, where I’ll have the great honour of giving the 2025 IACR Distinguished Lecture on Tuesday afternoon. #iacr #cryptography

For those who enjoyed reading "Constant-Time Code: The Pessimist Case" by Thomas Pornin (2025/435), here's what I would consider "The Optimist Case": eprint.iacr.org/2025/759 Joint work with Santiago Arranz-Olmos, Gilles Barthe, Benjamin Grégoire, Jan Jancar, Vincent Laporte, and Tiago Oliveira.

Updated version v0.9.5 of our book now available at tamarin-prover.com/book/ , with a range of improvements and exercises at the end.

Big announcement: RWC 2027 in Seattle! April 5-7 subject to board approval.

RWC 2026 in Taipei!

An intro to lattice crypto and the published NIST standards for non-cryptographers who find themselves involved in the PQ transition. Thanks to @cryptojedi.bsky.social for the assist :) blog.cloudflare.com/lattice-cryp...

Ready for a cryptic adventure? Next week’s #realworldcrypto 2025 Day 2 promises anonymous credentials & signatures, post-quantum breakthroughs, open-source PKI insights, and side-channel showdowns—all in one jam-packed program!

uASC 2025 was a huge success - we were sold out! Thanks to everyone who joined and see you in 2026!

Together with @kennyog.bsky.social we're organising a meeting at Eurocrypt to discuss how the, let's say, "dramatically changing political landscape" affects cryptography and our community, both domestically in some countries but also internationally eurocrypt.iacr.org/2025/communi...

The 3rd edition of WISC – Women in Security and Cryptography Workshop will take place in Bochum from June 16 to 18. Already confirmed are talks by Lejla Batina, Zinaida Benenson, Shafi Goldwasser, Martina Lindorfer, and Doreen Riepel. Registration is open now! casa.rub.de/en/events/wi...

Join our Applied Crypto group at FAU in Nürnberg as a PhD student or spread the word: we're hiring. Our work covers many topics in real-world crypto, especially provable security and privacy of modern messaging protocols 🔐✉️ www.jobs.fau.de/jobs/7-phd-p...

One more week left before the end of early registration for #realworldcrypto 2025. The last day to save $100 on your registration is February 26. rwc.iacr.org/2025/registr...

The tentative program for Real World Crypto 2025 is live! rwc.iacr.org/2025/program... A huge thanks to my co-chair @malb.bsky.social and all the amazing program committee members for helping put this together. I'm looking forward to seeing everyone in Sofia! #realworldcrypto

🎥 Finden wir den perfekten Geheimcode? Für "42 – Die Antwort auf fast alles" durfte ich Dreharbeiten an der @ruhr-uni-bochum.de begleiten. Die Folge mit Eike Kiltz & Peter Schwabe ist nun in der Mediathek verfügbar: www.arte.tv/de/videos/11... @cryptojedi.bsky.social #Bochum #Kryptographie

Finally, a state-of-the-art version of CTIDH! That is, deterministic and a prime of 2048 bits. We introduce a new batching strategy we call "wombats", making dCTIDH five times faster than deterministic CSIDH. Surprisingly, it even beats "non-deterministic" CTIDH. See eprint.iacr.org/2025/107

New in EasyCrypt: KEM and PKE modelling libraries! github.com/EasyCrypt/ea... github.com/EasyCrypt/ea...

We look for contributions from academia and industry and accept papers, posters, and talks. Or just attend uASC 25 on **February 19** in Bochum and meet fellow microarchitecture security researchers.

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.

Sofía Celi joins as new co-editor of eprint.iacr.org. The core of IACR is volunteer effort, and it's always good to welcome someone new. @claucece

🚨 Join the OpenSSL Academic Community! 🚨 Help shape the future of OpenSSL by joining the Academic Community hub. Participate in discussions, the BAC election process, and more. Voting starts Dec 2—join now! 📖 Learn more: openssl-library.org/post/2024-10...

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

RWC 2025 is now officially open for submissions for contributed talks! rwc.iacr.org/2025/contrib...

RWC 2025 in Sofia is going to be 🔥 I'm excited to be the co-chair (along with @martinralbrecht) of the program committee this year. We have an amazing group of reviewers this year, and we're looking forward to reading the strongest batch of talk submissions yet. #realworldcrypto

Basic Lattice Cryptography: The concepts behind Kyber (ML-KEM) and Dilithium (ML-DSA) (Vadim Lyubashevsky) ia.cr/2024/1287

A Generic Framework for Side-Channel Attacks against LWE-based Cryptosystems (Julius Hermelink, Silvan Streit, Erik Mårtensson, Richard Petri) ia.cr/2024/1211

Towards ML-KEM & ML-DSA on OpenTitan (Amin Abdulrahman, Felix Oberhansl, Hoang Nguyen Hien Pham, Jade Philipoom, Peter Schwabe, Tobias Stelzer, Andreas Zankl) ia.cr/2024/1192

The program of Crypto 2024 is online, with an invited talk by Karthik Bhargavan on formal verification in crypto! #crypto2024 crypto.iacr.org/2024/program...

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

On my way to the summerschool on real-world crypto and privacy. Who else is coming?

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

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

As always, great coverage of #RealWorldCrypto by @durumcrustulum.com. This year, only for the lucky users of BlueSky! Below is the thread covering the conference, including my PQ3 talk :)

Slides for my talk "An Update on Lattice Cryptanalysis Vol. 1" at the Real World Post Quantum Cryptography workshop yesterday: github.com/malb/talks/b... Yes, there was a Vol 2, it was given by John Schanck and his talk was way better.

slides from my talk at rwpqc: jmschanck.info/talks/202403...

As promised: gitlab.com/yawning/bs255 This still is a work in progress and probably has stupid bugs, and needs: - More test cases. - A specification document. But, it was relaxing to write, and I think illustrates "it is possible to do better".