Reposted by Tianxin TangRandall Munroe @xkcd.com · 22/09/2026Tyrannosaurus xkcd.com/3300/ 91121102095
Reposted by Tianxin TangStefano Tessaro @stefanotessaro.bsky.social · 23/09/2026New paper (ia.cr/2026/2126) with Àlex Rodríguez García. We give polynomial-time (!) adaptive attacks against a number of threshold Schnorr signatures. At the core are the first polynomial-time attacks on LDVR, a problem whose solution yields adaptive attacks on several practical schemes.ia.crCryptanalysis of LDVR: Polynomial-Time Adaptive Attacks against Threshold Schnorr SignaturesWe present the first polynomial-time attacks against certain parameter choices of the low-dimensional vector representation (LDVR) problem, introduced by Crites, Katz, Komlo, Tessaro, and Zhu (CRYPTO ... 1103
Reposted by Tianxin TangFredrik Dahlgren @fegge.bsky.social · 18/09/2026Everyone and their mother is using AI to find bugs. We used AI to build static-analysis and formal verification tooling for Miden’s zkVM. The new linter found a signature validation bypass, and the formal verification work resulted in 95 correctness proofs. blog.trailofbits.com/2026/09/18/a...blog.trailofbits.comAuditing in the age of (good enough) AIBefore code review even starts, agents let us build custom tooling and formal models. Here’s how six months of building with AI agents helped us find real issues in our Miden zkVM audit. 142
Reposted by Tianxin TangLance Fortnow @lance.fortnow.com · 17/09/2026STOC call for papers is out. Deadline is November 2. acm-stoc.org/stoc202... New rules for the AI era: limited submissions, public posting and a required video. Is it a coincidence that the camera-ready deadline is April Fools Day? 0125
Tianxin Tang @koptxin.bsky.social · 20/08/2026dontpastetheai.com (currently struggling with this a lot with masters students...)dontpastetheai.comDon't paste the AI.If someone asks you a question, paste your answer — not the chatbot's. 011
Tianxin Tang @koptxin.bsky.social · 20/08/2026arxiv.org/abs/2608.16753 (Mathematics in the age of AI by Terence Tao)arxiv.orgMathematics in the age of AIAn essay, based on a public lecture delivered at the 2026 International Congress of Mathematicians, on how the mathematical community might respond to the arrival of artificial intelligence tools that... 020
Reposted by Tianxin TangMiro Haller @mirohaller.bsky.social · 10/08/2026You can also register to attend WAC8--the workshop on attacks in cryptography, an affiliated event with Crypto 2026--remotely (for free). Just fill out this google form: forms.gle/1anNohNaJmtA...forms.gleWAC8 Remote RegistrationSign up with an email address to receive the Zoom link to attend the workshop on attacks in cryptography 8 (WAC8) remotely. All information about the workshop is on our website: https://wac8.cryptanal... 164
Reposted by Tianxin TangEthan Mollick @emollick.bsky.social · 08/08/2026You may have been told to watch this video about the OpenAI AI hack. You really should, even if you don't usually care about any tech stuff. If nothing else, click this link to the 18 minutes in & see how the agents spoke & coordinated with each other. Its eye opening. youtu.be/87DyyMV0kCY?...youtu.beBlack Hat USA 2026: The 'Breaking' News: The OpenAI–Hugging Face IncidentYouTube video by Black Hat 1122951
Reposted by Tianxin TangHenry Yuen @henryyuen.bsky.social · 01/08/2026Some initial thoughts, and a complicated mix of feelings. Wow. I mean, Erdos problems are cool (I genuinely mean that), I didn't know about the Jacobian conjecture before it got disproved. But this newest batch from OpenAI hits home in a way the previous announcements did not. 232972
Reposted by Tianxin TangChris Peikert @chrispeikert.bsky.social · 28/07/2026This is a very cool and exciting discovery by Claude Mythos! It found a serious 𝒎𝒂𝒕𝒉𝒆𝒎𝒂𝒕𝒊𝒄𝒂𝒍 attack on the post-quantum signature scheme HAWK, an "on-ramp" candidate for potential NIST standardization. www.anthropic.com/research/dis...anthropic.comDiscovering cryptographic weaknesses with ClaudeAnthropic researchers find weaknesses in cryptographic algorithms with Claude Mythos Preview 23218
Reposted by Tianxin TangQuanta Magazine @quantamagazine.org · 23/07/2026Every four years, the math world’s preeminent awards are given to the finest minds of a generation. The young Fields and Abacus Medal winners — all under 40 on the first day of the year — have reshaped mathematics and theoretical computer science. Here are the #ICM2026 winners: 15224
Reposted by Tianxin Tangmccurley.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 Tianxin TangQuanta Magazine @quantamagazine.org · 06/07/2026Researchers have long suspected that for some computational problems, checking a solution is only possible with an exotic mathematical object called a quantum proof — no ordinary written document will do. Now, a team of researchers has finally confirmed it. www.quantamagazine.org/researchers-...quantamagazine.orgResearchers Reveal the Power of ‘Quantum Proofs’ | Quanta MagazineWhen checking that solutions to certain problems are correct, it turns out, you can’t get around the inherent complexity of the quantum world. 0283
Reposted by Tianxin TangePrint Updates @eprint.ing.bot · 30/06/2026Principles for pRHL Proofs of Cryptographic Protocols: How to Convince EasyCrypt that your Protocol is Secure (Manuel Barbosa, François Dupressoir, Cameron Low, Charlotte Mylog, Sabine Oechsner, Théo Vignon) ia.cr/2026/1334 022
Reposted by Tianxin TangFilippo Valsorda @filippo.abyssdomain.expert · 22/06/2026There we go. US Gov tightens post-quantum cryptography transition deadlines for high-value systems to 2030 for key exchange and 2031 for signatures. Also, speeding up the CMVP (FIPS 140 validation) processes. That’s how you know the rush is real. The quantum computers are (potentially) coming.whitehouse.govSecuring the Nation Against Advanced Cryptographic AttacksBy the authority vested in me as President by the Constitution and the laws of the United States of America, it is hereby ordered: Section 1. Background 411030
Tianxin Tang @koptxin.bsky.social · 17/06/2026I am looking for a (fully funded) PhD student working with me in Glasgow on provable security! www.iacr.org/jobs/item/4226iacr.orgPhD Student 087
Tianxin Tang @koptxin.bsky.social · 12/06/2026Seems like a nice program. See you at Bristol :) uk-crypto-day.github.io/2026/06/17/u...uk-crypto-day.github.ioUK Crypto DaySchedule 09:00 - 09:45 Arrival 09:45 - 10:00: Opening remarks 10:00 - 10:45: Sofia Celi: Threshold Post-Quantum Signatures 10:45 - 11:15: Break 11:15 - 12:00: Thalia Laing: Lessons from deploying LMS ... 011
Reposted by Tianxin TangMiro Haller @mirohaller.bsky.social · 11/06/2026The Workshop on Attacks in Cryptography 8 (WAC8) website is finally up, and our call for talks is open. Submit your cool cryptanalysis before July 3! We'll also invite speakers. If you had a favorite cryptographic attack from the last two years that we should invite, please put it in the comments. 074
Reposted by Tianxin TangMichele Orrù @tumbolia.bsky.social · 11/06/2026the super secret project i've been working on the past year is out 2255
Reposted by Tianxin TangEi/PSI @ei-psi.bsky.social · 11/06/2026We've now posted the schedule for the event. Come for a day of insightful and engaging talks. eipsi.win.tue.nl/surveillance...eipsi.win.tue.nlSecurity in Times of Surveillance 022
Reposted by Tianxin TangEi/PSI @ei-psi.bsky.social · 08/06/2026Security in Times of Surveillance eipsi.win.tue.nl/surveillance... w Marrtin Albrecht @malb.bsky.social Chloé Berthélémy (EDRi), Rikke Bjerg Jensen (RHUL), Thomas Lohninger @socialhack.bsky.social Björn Ruytenberg @0xiphorus.infosec.exchange.ap.brid.gy Carmela Troncoso @carmelatroncoso.bsky.social 143
Reposted by Tianxin TangMarcel Keller @mkskeller.bsky.social · 05/06/2026UNSW Sydney is hiring an associate professor and a lecturer in cryptography, and the description explicitly mentions *secure computation*. Didn't you want to live in the sunniest of the most livable cities in the world?external-careers.jobs.unsw.edu.auAssociate Professor in CryptographyJoin an organisation that is shaping the future direction of cryptography and secure computation in Australia, in a senior academic role that combines research leadership, strategic contribution, and ... 166
Reposted by Tianxin TangSimons Institute for the Theory of Computing @simonsinstitute.bsky.social · 27/05/20262/2 "The trick is actually fixing the evaluations. It’s going to be a problem of the way we evaluate language models. We need to reward them for being humble, and saying occasionally, ‘I don’t know,’ or asking a question," said OpenAI's Adam Kalai at the Simons Institute. 011
Tianxin Tang @koptxin.bsky.social · 22/05/2026For anyone interested in being a tadpole reviewer (interesting concept, suitable for PhD students and early post-docs) for PETS 2027, you can submit an application using the following link: cryptpad.fr/form/#/2/for.... The PC application form can also be found on the website. 111
Reposted by Tianxin TangNalini Joshi @monsoon0.bsky.social · 21/05/2026You may find the comments by Melanie Matchett Wood on the discovery of a counter example to Erdős’ Unit Distance Conjecture as interesting as I did 👇🏼(see previous post for a link) 27818
Tianxin Tang @koptxin.bsky.social · 20/05/2026Nice show, plenty of information on the latest developments of quantum computers zeroknowledge.fm/podcast/400/zeroknowledge.fmQuantum Advances, Hybrid Signatures and SNARKs to the Rescue with Dan Boneh - ZK PODCASTIn this 400th episode, Anna Rose welcomes back Dan Boneh, professor of computer science and electrical engineering at Stanford University, […] 010
Reposted by Tianxin TangMathy Vanhoef @vanhoefm.bsky.social · 19/05/2026Nominate yourself to help review papers for USENIX Security 2027! sec-rms.com/submit-appli... (or rms.swag.cispa.de/submit-appli... ). Deadline: May 28, 2026. We're looking for both senior and junior people. See Andrei Sabelfeld's LinkedIn post for more info: www.linkedin.com/feed/update/...sec-rms.comSignal PC interest - USENIX Security Symposium 025
Reposted by Tianxin TangSofia Celi @claucece.bsky.social · 14/05/2026Go MAYO!! Moving to the third round of the PQC NIST process! 0115
Reposted by Tianxin TangAndrea Basso @andreavbasso.bsky.social · 14/05/2026Round 3 of the NIST additional signatures process announced! 🎉 And SQIsign is part of it!! ⛷️⛷️ 02613
Reposted by Tianxin TangHetan Shah @hetanshah.bsky.social · 09/05/2026This 1952 memo from the Pentagon UFO files is superb There is no point preparing for aliens ‘because no one of consequence is going to take this rubbish seriously unless it happens. At that point, our policy will be determined in the traditional manner of grand panic.’ 🤣 www.war.gov/medialink/uf... 7054521637
Reposted by Tianxin TangDoreen Riepel @doreenriepel.bsky.social · 08/05/2026Join us tomorrow for ProTeCS, one of Eurocrypt’s affiliated events! We are thankful to have two amazing invited speakers, Bart Mennink and Mike Rosulek! We are also happy to have seven contributed talks from the community. Check out our full program here: protecs-workshop.gitlab.io/programprotecs-workshop.gitlab.ioProgramWorkshop on Proofs and Proof Techniques for Cryptographic Security. Affiliated with Eurocrypt 2026. 163
Reposted by Tianxin TangePrint Updates @eprint.ing.bot · 05/05/2026A Survey on Security Reductions in Post-Quantum Cryptography (Thomas Attema, Ronald Cramer, Serge Fehr, Yu-Hsuan Huang, Bor de Kock, Jana Sotáková) ia.cr/2026/846 021
Reposted by Tianxin TangMiro Haller @mirohaller.bsky.social · 04/05/2026The Cryptographic Applications Workshop (CAW) happens this Sunday in Rome! Just a reminder that if you're not coming to Rome you can still attend remotely. Just register here: forms.gle/2JZ7hLs8diQM... before May 8. See caw.cryptanalysis.fun for more infos and our program. 086
Reposted by Tianxin TangFredrik 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 Tianxin TangSabine 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
Reposted by Tianxin TangePrint Updates @eprint.ing.bot · 08/04/2026Open Problems in List Decoding and Correlated Agreement (Gal Arnon, Dan Boneh, Giacomo Fenzi) ia.cr/2026/680 095
Reposted by Tianxin TangAbdullah Talayhan @talayhan.bsky.social · 27/03/2026The Signal protocol is well documented but hard to grasp the first time. Especially what's happening under the hood while using a messaging app. I built an educational tool that lets you chat on a simulated phone and see protocol details in real time, completely offline. Enjoy! 3379
Reposted by Tianxin TangNadim Kobeissi @nadim.computer · 23/03/2026Major announcement: My highly successful Applied Cryptography course taught last year at the American University of Beirut is returning as an online course, available for FREE for any qualifying student from any Lebanese university! Read more + apply today — and please spread the word!symbolic.softwareApplied Cryptography: Free Online Course for 50 Lebanese University Students This SummerWe're opening 50 spots for students at Lebanese universities to take the Applied Cryptography course online, completely free of charge, starting June 2026. Applications are open now. 1133
Reposted by Tianxin TangStefano Tessaro @stefanotessaro.bsky.social · 18/03/2026Huge congrats to Bennett and Brassard for the well-deserved award, but the highlighted sentence from the ACM announcement (www.acm.org/media-center...) is a rather odd take on PQC ... 072
Reposted by Tianxin TangReal World Crypto Symposium @rwc.iacr.org · 08/03/2026Watching remotely? You can follow Real World Crypto 2026 on YouTube livestreams (also available via the website): Day 1 (Mar 9): youtube.com/live/QQhyxFj... Day 2 (Mar 10): youtube.com/live/00zvMSW... Day 3 (Mar 11): youtube.com/live/v_AFtbW... 0128
Reposted by Tianxin TangColin Gorrie @colingorrie.bsky.social · 18/02/2026If you liked this experiment, I published a full piece today in the same vein: a text that gets 100 years older with every section, from a modern blog post to a medieval chronicle. It's a single story spanning 1000 years of English. See how far you get. www.deadlanguagesociety.com/p/how-far-ba...deadlanguagesociety.comHow far back in time can you understand English?An experiment in language change 19936571333
Tianxin Tang @koptxin.bsky.social · 13/02/2026monosketch.io (pretty nice tool!)monosketch.ioMonoSketch - Unleash your ideas with ASCIIMonoSketch is a powerful ASCII sketching and diagramming app that lets you effortlessly transform your ideas into visually stunning designs. 000
Reposted by Tianxin Tangmccurley.bsky.social @mccurley.bsky.social · 03/02/2026The IACR board sent a survey to members last year, and it took us a while to analyze the results and publish findings. You can see them at iacr.org/surveyresults/iacr.orgInternational Association for Cryptologic Research 289
Tianxin Tang @koptxin.bsky.social · 06/01/2026blog.computationalcomplexity.org/2026/01/ai-a...blog.computationalcomplexity.orgAI and Research Papers2026 will be a year of AI disruption across all of academia. Let's start by talking about AI is changing how we write research papers. Not t... 100
Reposted by Tianxin TangFilippo Valsorda @filippo.abyssdomain.expert · 27/12/2025At the gpg.fail talk and omg #39c3 You can just put a \0 in the Hash: header and then newlines and inject text in a cleartext message. Won’t even blame PGP here. C is unsafe at any speed. gpg has not fixed it yet. 4431108
Reposted by Tianxin TangReal World Crypto Symposium @rwc.iacr.org · 19/12/2025The accepted talks for Real World Crypto 2026 are now online: rwc.iacr.org/2026/accepte... Thanks to everyone who submitted, and we look forward to the discussions at the symposium.rwc.iacr.orgRWC 2026 accepted papersReal World Crypto Symposium 0239
![call for talks
WAC accepts proposals for contributed talks. Submissions will be evaluated based on their relevance to the following topics:
- Cryptanalysis of deployed cryptography
- Cryptanalysis of recently suggested cryptographic schemes or primitives
- New cryptoanalytic techniques
- Systems attacks breaking cryptography or bypassing underlying assumptions
Please include the following information in your contributed talk submission.
- Title.
- Description of the talk content, including: short abstract (to be published on the website on talk acceptance), and one of the following three: extended abstract describing the talk. [preferred option], a full paper and a short description of which aspects the talk will focus on. slides for a presentation, together with either speaker notes or a short outline of the non-visual content of the talk.
- Speaker information: Name, Affiliation, Short bio (to be published on the website on talk acceptance), A brief description of the relevant experience of the speaker, e.g. links to previous talks.
Submit your proposal by email to the organizers at wac@cryptanalysis.fun by July 3, 2026 AoE.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:yks27ajyuw46dn6uli6tiurm/bafkreigijuejovnd6nkj4qv3zstquy6zypals6tqcw3by2njr4bfycyek4)
![Comic. [Person with long hair pointing to diagram with Tyrannosaurus Rex standing next to a person.] PERSON: We now believe the primary prey of Tyrannosaurus Rex was these humans who kept standing next to it for scale.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:cz73r7iyiqn26upot4jtjdhk/bafkreih526pxolmi4pgqdcdu435uhkrrldhpwq6rrsnk4hfs6dskbe5r7e)
