Reposted by Peter SchwabeDeirdre Connolly¹ ² @durumcrustulum.com · 14/10/2025Another @nadiaheninger.bsky.social W 182
Reposted by Peter SchwabeKonstantin Macher @pneutig.eupolicy.social.ap.brid.gy · 05/10/2025NEU: 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] 0429
Reposted by Peter SchwabeKarola Marky @yon-juni.bsky.social · 05/10/2025Die #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...kinderschutzbund.deStellungnahme zur öffentlichen Anhörung des Ausschusses für Digitales zur “Chatkontrolle” am Mittwoch, 1. März 2023 - Der KinderschutzbundDer Ausschuss für Digitales befasst sich am Mittwoch, 1. März 2023, mit dem Thema Chatkontrolle. Die öffentliche Anhörung findet ab 14 Uhr statt. Unsere Stellungnahme finden Sie hier als PDF zum Downl... 112
Reposted by Peter SchwabeNigel Smart @smartcryptology.bsky.social · 04/10/2025FHE.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...fhe.orgFully Homomorphic EncryptionWe are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques. 131
Reposted by Peter SchwabeSignal @signal.org · 03/10/2025We 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...signal.org 4039252365
Reposted by Peter SchwabeµASC Conference @uasc.cc · 04/10/2025uASC 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 013
Reposted by Peter Schwabemccurley.bsky.social @mccurley.bsky.social · 15/09/2025Whoa. 100 responses from speakers at CHES, and only one is presenting by video. Maybe their conference is actually worth going to? 062
Reposted by Peter SchwabeSofia Celi @claucece.bsky.social · 25/06/2025Come 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. 064
Reposted by Peter SchwabeµASC Conference @uasc.cc · 19/05/2025uASC 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 0109
Reposted by Peter SchwabeMathy Vanhoef @vanhoefm.bsky.social · 25/05/2025All 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!docs.google.comSelf-nomination for the Artifact Evaluation Committee of NDSS 2026We are looking for members of the Artifact Evaluation Committee (AEC) of NDSS 2026. The Network and Distributed System Security symposium adopts an Artifact Evaluation (AE) process allowing authors t... 01210
Reposted by Peter SchwabeRuhr-Universität Bochum @ruhr-uni-bochum.de · 20/05/2025Kinderschutz 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) 083
Reposted by Peter SchwabeMichael Hutter @michutte.bsky.social · 19/05/2025The 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 #HardwareSecurityches.iacr.orgCHES 2025Cryptographic Hardware and Embedded Systems 021
Reposted by Peter SchwabeSabine Oechsner @proofnerd.bsky.social · 05/05/2025Our paper on attacking concurrent MPC implementations is finally on eprint 🎉 (And @schollster.bsky.social will present it at S&P 2025!) A summary 🧵 2125
Reposted by Peter SchwabeKenny Paterson @kennyog.bsky.social · 04/05/2025Just 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 2303
Peter Schwabe @cryptojedi.bsky.social · 03/05/2025For 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.eprint.iacr.orgLet's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto CodeIt is a widely accepted standard practice to implement cryptographic software so that secret inputs do not influence the cycle count. Software following this paradigm is often referred to as "constant... 0153
Reposted by Peter Schwabecascremers.bsky.social @cascremers.bsky.social · 02/05/2025Updated version v0.9.5 of our book now available at tamarin-prover.com/book/ , with a range of improvements and exercises at the end.tamarin-prover.comModeling and Analyzing Security Protocols with Tamarin: A Comprehensive GuideThe Tamarin prover is a security protocol verification tool that supports both falsification and unbounded verification in the symbolic model. 175
Reposted by Peter SchwabeReal World Crypto Symposium @rwc.iacr.org · 28/03/2025Big announcement: RWC 2027 in Seattle! April 5-7 subject to board approval. 5115
Reposted by Peter SchwabeReal World Crypto Symposium @rwc.iacr.org · 28/03/2025RWC 2026 in Taipei! 0147
Reposted by Peter SchwabeChristopher Patton @cjpatton.bsky.social · 21/03/2025An 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...blog.cloudflare.comPrepping for post-quantum: a beginner’s guide to lattice cryptographyThis post is a beginner's guide to lattices, the math at the heart of the transition to post-quantum (PQ) cryptography. It explains how to do lattice-based encryption and authentication from scratch. 1114
Reposted by Peter SchwabeReal World Crypto Symposium @rwc.iacr.org · 21/03/2025Ready 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! 144
Reposted by Peter SchwabeµASC Conference @uasc.cc · 16/03/2025uASC 2025 was a huge success - we were sold out! Thanks to everyone who joined and see you in 2026! 051
Reposted by Peter SchwabeMartin R. Albrecht @malb.bsky.social · 11/03/2025Together 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... 33714
Peter Schwabe @cryptojedi.bsky.social · 07/03/2025The 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...casa.rub.deWISC | Cluster of Excellence CASA | RUBThe Women in Security and Cryptography Workshop promotes international female PhD students and outstanding female students in the field of IT security. 01511
Reposted by Peter SchwabePaul Rösler @roeslpa.bsky.social · 05/03/2025Join 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...jobs.fau.de7 PhD positions (m/f/d) (salary level 13 TV-L) in Computer Science (full time) and 3 PhD position (m/f/d) (salary level 13 TV-L) in Law (part time, 75%) 0711
Reposted by Peter SchwabeReal World Crypto Symposium @rwc.iacr.org · 19/02/2025One 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...rwc.iacr.orgRWC 2025 registrationReal World Crypto Symposium 012
Reposted by Peter SchwabeNick Sullivan @nicksullivan.org · 19/02/2025The 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! #realworldcryptorwc.iacr.orgRWC 2025 programReal World Crypto Symposium 0149
Reposted by Peter SchwabeAnnika Goedde @annikacg.bsky.social · 17/02/2025🎥 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 #Kryptographiearte.tvFinden wir den perfekten Geheimcode? - 42 - Die Antwort auf fast alles - Die ganze Doku | ARTEWir suchen seit jeher nach ihm – dem perfekten Geheimcode: Eine sichere Verschlüsselung unserer vertraulichen Informationen. Besonders heute, in der digitalen Welt. Doch die sicherste Verschlüsselung ... 072
Reposted by Peter SchwabeKrijn Reijnders @krijn.isogeni.es · 23/01/2025Finally, 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/107eprint.iacr.orgdCTIDH: Fast & Deterministic CTIDHThis paper presents dCTIDH, a CSIDH implementation that combines two recent developments into a novel state-of-the-art deterministic implementation. We combine the approach of deterministic variants o... 2127
Reposted by Peter SchwabeDeirdre Connolly¹ ² @durumcrustulum.com · 18/01/2025New in EasyCrypt: KEM and PKE modelling libraries! github.com/EasyCrypt/ea... github.com/EasyCrypt/ea...github.comKEM libraries (non-ROM and ROM) by MM45 · Pull Request #672 · EasyCrypt/easycryptInitial attempt at libraries for KEM (both in standard model and ROM). There are several points of interest/discussion listed below which I think should be agreed upon before merging. The resulting... 092
Reposted by Peter SchwabeDaniel Gruss @gruss.cc · 05/01/2025We 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. 033
Reposted by Peter SchwabeMartin R. Albrecht @malb.bsky.social · 03/01/2025Khanh 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.uk-crypto-day.github.ioUK Crypto Day: 20 February 2025Schedule 01513
Reposted by Peter SchwabeKevin McCurley @tragiccommons.infosec.exchange.ap.brid.gy · 10/12/2024Sofí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 0325
Reposted by Peter SchwabeNicola Tuveri @romen.dev · 22/11/2024🚨 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...openssl-library.orgOpenSSL Forms Business Advisory Committees - Shape the Future - Join Now!The OpenSSL Foundation (primarily focused on non-commercial communities) and the OpenSSL Corporation (primarily focused on commercial communities) are pleased to announce the formation of Business Adv... 143
Reposted by Peter SchwabeDeirdre Connolly¹ ² @durumcrustulum.com · 30/10/2024The EasyCrypt proofs for X-Wing are now on GitHub: github.com/formosa-cryp...github.comGitHub - formosa-crypto/formosa-x-wingContribute to formosa-crypto/formosa-x-wing development by creating an account on GitHub. 0103
Reposted by Peter SchwabeReal World Crypto Symposium @rwc.iacr.org · 06/09/2024RWC 2025 is now officially open for submissions for contributed talks! rwc.iacr.org/2025/contrib...rwc.iacr.orgRWC 2025 paper submissionReal World Crypto Symposium 2179
Reposted by Peter SchwabeNick Sullivan @nicksullivan.org · 06/09/2024RWC 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 033
Reposted by Peter SchwabeePrint Updates @eprint.ing.bot · 16/08/2024Basic Lattice Cryptography: The concepts behind Kyber (ML-KEM) and Dilithium (ML-DSA) (Vadim Lyubashevsky) ia.cr/2024/1287 072
Reposted by Peter SchwabeePrint Updates @eprint.ing.bot · 29/07/2024A Generic Framework for Side-Channel Attacks against LWE-based Cryptosystems (Julius Hermelink, Silvan Streit, Erik Mårtensson, Richard Petri) ia.cr/2024/1211 001
Reposted by Peter SchwabeePrint Updates @eprint.ing.bot · 25/07/2024Towards 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 001
Reposted by Peter SchwabeTancrède Lepoint @tancre.de · 08/07/2024The program of Crypto 2024 is online, with an invited talk by Karthik Bhargavan on formal verification in crypto! #crypto2024 crypto.iacr.org/2024/program...crypto.iacr.orgCrypto 2024 program44th Annual International Cryptology Conference 143
Reposted by Peter SchwabeePrint Updates @eprint.ing.bot · 08/06/2024A Tight Security Proof for SPHINCS⁺, Formally Verified (Manuel Barbosa, François Dupressoir, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub) ia.cr/2024/910 034
Peter Schwabe @cryptojedi.bsky.social · 01/06/2024On my way to the summerschool on real-world crypto and privacy. Who else is coming? 2210
Reposted by Peter SchwabeePrint Updates @eprint.ing.bot · 31/05/2024Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt (José Bacelar Almeida et al.) ia.cr/2024/843 023
Reposted by Peter SchwabeMartin R. Albrecht @malb.bsky.social · 28/05/2024We 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...kcl.ac.ukResearch Fellow/Research Associate in Cryptography 047
Reposted by Peter SchwabeFrederic Jacobs @fredericjacobs.com · 26/03/2024As 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 :) 1205
Reposted by Peter SchwabeMartin R. Albrecht @malb.bsky.social · 25/03/2024Slides 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. 076
Reposted by Peter SchwabeJohn Schanck @susurrusus.bsky.social · 25/03/2024slides from my talk at rwpqc: jmschanck.info/talks/202403... 084
Reposted by Peter SchwabeYawning Angel @yawning.bsky.social · 08/03/2024As 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". 321
