Nigel Smart

Super pleased to have been recognized with this award... www.rsaconference.com/library/pres... Yehuda and I join an amazing list of previous winners.

Anyone who has ever complained about London Underground, complain no more.

When you forget to switch profiles

This is an amazing result, not only for mathematics in general, and not only for AI, but also for formal verification. FLT has been proved by AI in a way which can be formally verified.... www.anthropic.com/research/for...

Super interesting blog on how one leading Oxford physicist thinks that quantum computers will never break RSA.... profwoodward.substack.com/p/quantum-co...

Reminder: Dolly Parton helped fund the Moderna vaccine for COVID.

An excellent IEEE feature on Colossus now that it is being commemorated as a "milestone": ieeemilestones.ethw.org/Milestone-Pr...? #computing-history #wwii #codebreaking #cryptography

Do not forget to register for this.... www.esat.kuleuven.be/cosic/events...

The IACR just published Volume 3, Issue 2 of the IACR Communications in Cryptology See cic.iacr.org/i/3/2. This issue consists of 41 papers.

OpenAI claim a proof that CPV is NP-hard for polynomial approximation factors. openai.com/index/ten-ad...

Well done UEFA... www.bbc.com/sport/footba... The World Cup is worth nothing without the European teams, and the European television rights.

The IACR board has put forward a proposal to revamp the publishing of the general conference proceedings for Eurocrypt, Crypto, and Asiacrypt. iacr.org/hybridpropos... I would encourage members to engage in discussion about this on iacr.org/discuss

VEEERRRRY punchy statement by UEFA on the reversal of the American red-card suspension. And quite right, too. "We express our disbelief at such an unprecedented, incomprehensible and unjustifiable decision." www.uefa.com/news-media/n...

Your quarterly reminder to submit a paper to Communications in Cryptology... cic.iacr.org It is Diamond Open Access (readers and authors do not pay) and it contains all your new cool cryptographic research. Next deadline for submission is on July 27th

"I have accepted Keir Starmer's resignation as my chief servant and have invited Andy Burnham to lay out details for how many meals a day he'll give me"

Complaining about nightlife when you *checks notes* choose to live in Soho is like living in South Kensington and complaining about the museums. Or moving to Hackney and grumbling about creatives. Living in Richmond and hating green space. It's all getting a bit silly, isn't it?

The list of accepted papers to SCN 2026 is available online: scn.unisa.it/scn26/index....

Registration for SCN and the event for my "academic retirement" is now open... scn.unisa.it/scn26/index.... See you in Amalfi

Going to Eurocrypt in Rome next week? Looking for something interesting to do on Monday evening? Look no further.... luma.com/zama-meetup-...

Two weeks ago, Google published a paper proving in zero-knowledge that they had an efficient implementation of Shor's algorithm. Today, Trail of Bits can prove that we have an even better implementation which beats Google's on all metrics! 🫢 blog.trailofbits.com/2026/04/17/w...

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!

Betting on the Quantum Apocalypse... www.theregister.com/2026/04/09/c...

Jim O'Neill, Baron O'Neill of Gatley, the English economist best known for coining the term BRIC, has named Brexit as a 'colossal economic shock', and the reduce in productivity has been 'exaggerated by our rather odd decision to leave the EU.'

In a blatant act of provocation yesterday, Sadiq Khan allowed Christians to perform the Passion of Jesus in Trafalgar Square - a disgraceful show of dominance by a religion from the middle east.

With Nigel Smart’s recent #RSAC Math Award, he becomes the 4th COSIC member to receive this recognition over the years - joining Bart Preneel, Joan Daemen and Vincent Rijmen. Proud of COSIC’s long‑standing contributions to cryptography. 🔐 #COSIC #KULeuven #RSAC2026 #RSAC

Enjoy your April.... debrisprint.iacr.org

Adi Shamir reading out the thank you I sent to the audience today at RSAC after the award of the RSA 2026 Conference Award for Excellence in Mathematics, which was jointly award to me and Yehuda Lindell. I could not be at the event today in San Francisco to receive the award in person alas.

Incredibly happy to announce that @zama-fhe.bsky.social is sponsoring FIVE full-cost scholarships for Lebanese students to attend Cedarcrypt. THANK YOU! Our CFP is open until April 10 for workshops, lectures, and research talks in applied crypto. Sponsors welcome. cedarcrypt.org

I have a Reviewer 2 joke but apparently it represents only an incremental advance on previous jokes, and so has been rejected.

Final day and we are going out swinging. Privacy tech, Bluetooth deep-dives, a bird's-eye view from Nadia Heninger, PKI dispatches, TLS war stories, and lightning talks. No one's leaving early. #realworldcrypto

RSAC 2026 Conference to Celebrate Pioneering Minds in Mathematics and Cryptography Awards #United_States #San_Francisco #RSAC_Conference #Mathematics #Cryptography

We’re live!

It's RWC. So follow online by video...

It's RWC. So follow online with @durumcrustulum.com ....

* Randomization in FHE and TFHE by Nigel Smart and Michael Walter * Iterated Hash Functions over Encrypted Data: News from the Front by Olivier Bernard and Marc Joye Time for a break before the final session of the day, then on to the afterparty!

A full day of talks, posters, lunch, breaks, networking, and afterparty is about to begin! Come meet the amazing people in FHE on the 5th floor of the Taipei Marriott Hotel. #FHE2026 #FHE

"I said it's quite bold of Nigel Farage to go to the US to side with Donald Trump against his own country. What did I say Roy?" "You said he's a treacherous self-serving sack of shit"

New sponsor update: Bundesdruckerei (BDR) is joining Real World Crypto 2026. Thank you for the support and see you next week!

Nice blog by @matthewdgreen.bsky.social on anonymous credential systems

Miss our meetup with Miran Kim on "Efficient Homomorphic Matrix Computation for Secure Transformer Inference"? You can watch the recorded presentation here! 👉 www.youtube.com/watch?v=TVUS... #FHE #HomomorphicEncryption

About page limits. Why do CS conferences have them? If you look at the length of papers posted to eprint.iacr.org, 96% of them are at most 75 pages. Seems like we should just publish them instead of jumping through hoops to fit the old world of paper.