Reposted by Nigel SmartCally Beaton @callybeaton.bsky.social · 11/09/2026Anyone who has ever complained about London Underground, complain no more. 149127432216
Reposted by Nigel SmartTerrible Maps @terriblemapshq.bsky.social · 08/09/2026When you forget to switch profiles 1750585
Nigel Smart @smartcryptology.bsky.social · 05/09/2026This 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...anthropic.comFormalizing Fermat's Last TheoremAnthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems. 061
Nigel Smart @smartcryptology.bsky.social · 31/08/2026Super interesting blog on how one leading Oxford physicist thinks that quantum computers will never break RSA.... profwoodward.substack.com/p/quantum-co...profwoodward.substack.comQuantum Computers Will Never Break RSA, Says Oxford Physicist. But I Say Migrate AnywayA serious new theory predicts a hard limit on qubits. Here's why it doesn't change your PQC plans 161
Reposted by Nigel SmartMatt @mat1l92.bsky.social · 25/08/202613,000 children under the age of 5 in Rotherham received a book every month because Dolly Parton was a real one. RIPtheguardian.comDolly Parton sends books to RotherhamA reading scheme developed by the US country singer Dolly Parton is a proving a big hit in the UK 07424
Reposted by Nigel SmartKyle Griffin @kylegriffin1.bsky.social · 25/08/2026Reminder: Dolly Parton helped fund the Moderna vaccine for COVID.nytimes.comDolly Parton, who helped fund the Moderna vaccine, gets a ‘dose of her own medicine.’ (Published 2021)The country music star broke into song before she was inoculated, and urged her fans to “get out there and get your shot.” 247238655776
Nigel Smart @smartcryptology.bsky.social · 22/08/2026Not a proper list. There is no Ealing Comedy on this list. Clearly Kind Hearts and Coronets or The Lavender Hill mob should be on a proper list. 110
Reposted by Nigel Smartskuwiph.bsky.social @skuwiph.bsky.social · 06/08/2026An excellent IEEE feature on Colossus now that it is being commemorated as a "milestone": ieeemilestones.ethw.org/Milestone-Pr...? #computing-history #wwii #codebreaking #cryptographyieeemilestones.ethw.orgMilestone-Proposal:Colossus 032
Nigel Smart @smartcryptology.bsky.social · 05/08/2026Do not forget to register for this.... www.esat.kuleuven.be/cosic/events... 021
Nigel Smart @smartcryptology.bsky.social · 04/08/2026The 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.cic.iacr.orgVolume 3, Issue 2 051
Nigel Smart @smartcryptology.bsky.social · 01/08/2026This is truly amazing.... openai.com/index/ten-ad... The use of AI in creating new science and developing mathematical proofs is improving on a week-by-week basis.lnkd.inLinkedInThis link will take you to a page that’s not on LinkedIn 111
Reposted by Nigel SmartMartin R. Albrecht @malb.bsky.social · 01/08/2026OpenAI claim a proof that CPV is NP-hard for polynomial approximation factors. openai.com/index/ten-ad... 084
Nigel Smart @smartcryptology.bsky.social · 30/07/2026Well done UEFA... www.bbc.com/sport/footba... The World Cup is worth nothing without the European teams, and the European television rights.bbc.comFifa World Cup: Uefa to boycott tournament if Gianni Infantino's investment plans go throughUefa's 55 member associations vote to boycott the World Cup if Fifa proceeds with its plan to sell stakes in its competitions. 020
Reposted by Nigel Smartmccurley.bsky.social @mccurley.bsky.social · 09/07/2026The 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/discussiacr.orgConcrete Hybrid Journal Proposal 01911
Reposted by Nigel SmartHattifattener @hattifattener.bsky.social · 06/07/2026As in 1066 England will prevail against the Norwegians before tragically losing to the French a couple of weeks later. 442011482
Reposted by Nigel SmartStanley Pignal @spignal.bsky.social · 06/07/2026VEEERRRRY 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...uefa.comUEFA statement on the Balogun caseStatement on decision related to Folarin Balogun 391008288
Nigel Smart @smartcryptology.bsky.social · 30/06/2026Your 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 27thcic.iacr.orgIACR Communications in Cryptology 092
Reposted by Nigel SmartLarry the Cat @number10cat.bsky.social · 22/06/2026"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" 165130502525
Reposted by Nigel SmartMayor of London, Sadiq Khan @london.gov.uk · 11/06/2026Complaining 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? 1534848827
Reposted by Nigel SmartTjerand Silde @tjesi.bsky.social · 11/05/2026The list of accepted papers to SCN 2026 is available online: scn.unisa.it/scn26/index....scn.unisa.itSCN 2026 – List of Accepted PapersAuthorsTitleAnasuya Acharya, Carmit Hazay and Rahul SatishThe Landscape of Reusable GarblingFoteini Baldimtsi and Aayush YadavAtlantis: Lattice-based Anonymous Tokens with Private Metadata BitRober… 031
Nigel Smart @smartcryptology.bsky.social · 11/05/2026Registration for SCN and the event for my "academic retirement" is now open... scn.unisa.it/scn26/index.... See you in Amalfiscn.unisa.itSCN RegistrationThe registration fees cover the expenses for the organization of the conference and includes welcome cocktail on Sunday 13th, coffee breaks, social dinner. Accomodation and meals (with the exceptio… 000
Nigel Smart @smartcryptology.bsky.social · 04/05/2026Going to Eurocrypt in Rome next week? Looking for something interesting to do on Monday evening? Look no further.... luma.com/zama-meetup-...luma.comParmigiano, Drinks and... Fully Homomorphic Encryption — Zama Meetup & Afterwork · LumaThis meetup is organized during Eurocrypt 2026 by the team at Zama. <!— Limited capacity, register early --> A Practical Application of FHE — Deep Dive into… 101
Reposted by Nigel SmartFredrik Dahlgren @fegge.bsky.social · 17/04/2026Two 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... 18230
Reposted by Nigel SmartSabine Oechsner @proofnerd.bsky.social · 17/04/2026I'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! 11013
Nigel Smart @smartcryptology.bsky.social · 15/04/2026Going to Eurocrypt this May in Rome? The Zama team will be presenting new research on Fully Homomorphic Encryption. Check out the talk by Amit Deo and Benoit Libert on Fully Asymmetric Anamorphic Homomorphic Encryption from LWE.lnkd.inLinkedInThis link will take you to a page that’s not on LinkedIn 142
Nigel Smart @smartcryptology.bsky.social · 09/04/2026Betting on the Quantum Apocalypse... www.theregister.com/2026/04/09/c...theregister.com 193
Reposted by Nigel SmartEuropean Movement UK @europeanmovement.co.uk · 04/04/2026Jim 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.' 28232
Reposted by Nigel SmartParody Nigel Farage @parodypm.bsky.social · 04/04/2026In 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. 481941549
Reposted by Nigel SmartCOSIC @cosic.bsky.social · 01/04/2026With 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 011
Nigel Smart @smartcryptology.bsky.social · 01/04/2026Enjoy your April.... debrisprint.iacr.orgdebrisprint.iacr.orgCraptology debrisPrint Snarkive 084
Nigel Smart @smartcryptology.bsky.social · 24/03/2026Adi 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. 030
Reposted by Nigel SmartNadim Kobeissi @nadim.computer · 17/03/2026Incredibly 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 1131
Reposted by Nigel SmartSimon Fisher @profsimonfisher.bsky.social · 17/03/2026I have a Reviewer 2 joke but apparently it represents only an incremental advance on previous jokes, and so has been rejected. 117122
Reposted by Nigel SmartReal World Crypto Symposium @rwc.iacr.org · 11/03/2026Final 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 033
Reposted by Nigel SmartThiard News@F4F @newsen.bsky.social · 10/03/2026RSAC 2026 Conference to Celebrate Pioneering Minds in Mathematics and Cryptography Awards #United_States #San_Francisco #RSAC_Conference #Mathematics #Cryptographythird-news.comRSAC 2026 Conference to Celebrate Pioneering Minds in Mathematics and Cryptography AwardsThe RSAC 2026 Conference will honor distinguished leaders in mathematics and cryptography, showcasing their contributions and groundbreaking research in cybersecurity. 021
Nigel Smart @smartcryptology.bsky.social · 10/03/2026Super pleased to have been recognized with this award... www.rsaconference.com/library/pres... Yehuda and I join an amazing list of previous winners.rsaconference.comRSAC Set to Honor Excellence in the Field of Mathematics Awards, Inaugural Test of Time Awards at RSAC 2026 Conference 190
Nigel Smart @smartcryptology.bsky.social · 09/03/2026It's RWC. So follow online with @durumcrustulum.com .... 062
Reposted by Nigel SmartFHE.org @fheorg.bsky.social · 08/03/2026* 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! 021
Reposted by Nigel SmartFHE.org @fheorg.bsky.social · 08/03/2026A 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 032
Reposted by Nigel SmartParody Nigel Farage @parodypm.bsky.social · 07/03/2026"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" 13991302
Reposted by Nigel SmartReal World Crypto Symposium @rwc.iacr.org · 04/03/2026New sponsor update: Bundesdruckerei (BDR) is joining Real World Crypto 2026. Thank you for the support and see you next week! 032
Nigel Smart @smartcryptology.bsky.social · 03/03/2026Nice blog by @matthewdgreen.bsky.social on anonymous credential systems 061
Reposted by Nigel SmartFHE.org @fheorg.bsky.social · 02/03/2026Miss 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 #HomomorphicEncryptionyoutube.com084 Efficient Homomorphic Matrix Computation for Secure Transformer Inference w/ Miran KimYouTube video by FHE_org 022
Reposted by Nigel Smartmccurley.bsky.social @mccurley.bsky.social · 03/03/2026About 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. 173
Reposted by Nigel SmartFHE.org @fheorg.bsky.social · 02/03/2026FHE.org would like to thank Technology Innovation Institute (TII) for their sponsorship this year of the FHE.org 2026 conference. Find out more information about Technology Innovation Institute at www.tii.ae #FHE #HomomorphicEncryption #FHE2026 #TII 111
Reposted by Nigel SmartFHE.org @fheorg.bsky.social · 26/02/2026📢 Just 10 days left until the 5th annual FHE.org conference in Taipei, Taiwan! You won't want to miss this year's presentations: 55 submissions (10 talks and 23 posters accepted) and invited speaker Shai Halevi presenting "To Search and Protect: An MPC/FHE Approach to Encrypted Search" 131
Reposted by Nigel SmartReal World Crypto Symposium @rwc.iacr.org · 26/02/2026We’re glad to share a new sponsor for Real World Crypto 2026: Yubico. Thanks for supporting the symposium. 133
Reposted by Nigel SmartReal World Crypto Symposium @rwc.iacr.org · 25/02/2026We're glad to share that Technology Innovation Institute will sponsor Real World Crypto 2026. Thank you for the support! 012
