Tianxin Tang
@koptxin.bsky.social
đ€ 49
đ„ 75
đ 16
Cryptography researcher Lab assistant at Muppets Lab
https://txin.dev
reposted by
Tianxin Tang
Sofia Celi
4 days ago
Go MAYO!! Moving to the third round of the PQC NIST process!
0
11
5
reposted by
Tianxin Tang
Andrea Basso
4 days ago
Round 3 of the NIST additional signatures process announced! đ And SQIsign is part of it!! â·ïžâ·ïž
0
25
13
reposted by
Tianxin Tang
Hetan Shah
9 days ago
This 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...
70
5473
1780
reposted by
Tianxin Tang
Doreen Riepel
10 days ago
Join 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/program
loading . . .
Program
Workshop on Proofs and Proof Techniques for Cryptographic Security. Affiliated with Eurocrypt 2026.
https://protecs-workshop.gitlab.io/program
1
6
3
reposted by
Tianxin Tang
ePrint Updates
13 days ago
A 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
0
2
1
reposted by
Tianxin Tang
Miro Haller
14 days ago
The 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.
0
7
6
Collected all badges!
add a skeleton here at some point
15 days ago
0
1
0
reposted by
Tianxin Tang
Fredrik Dahlgren
about 1 month ago
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...
1
83
37
reposted by
Tianxin Tang
Sabine Oechsner
about 1 month ago
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!
1
10
13
reposted by
Tianxin Tang
ePrint Updates
about 1 month ago
Open Problems in List Decoding and Correlated Agreement (Gal Arnon,
Dan Boneh
,
Giacomo Fenzi
)
ia.cr/2026/680
0
9
5
reposted by
Tianxin Tang
Abdullah Talayhan
about 2 months ago
The 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!
3
37
9
reposted by
Tianxin Tang
Nadim Kobeissi
about 2 months ago
Major 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!
loading . . .
Applied Cryptography: Free Online Course for 50 Lebanese University Students This Summer
We'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.
https://symbolic.software/blog/2026-03-23-applied-cryptography-summer/
1
13
3
reposted by
Tianxin Tang
Stefano Tessaro
2 months ago
Huge 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 ...
0
7
2
reposted by
Tianxin Tang
Real World Crypto Symposium
2 months ago
Watching 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...
0
12
7
reposted by
Tianxin Tang
Colin Gorrie
3 months ago
If 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...
loading . . .
How far back in time can you understand English?
An experiment in language change
https://www.deadlanguagesociety.com/p/how-far-back-in-time-understand-english
198
3661
1829
monosketch.io
(pretty nice tool!)
loading . . .
MonoSketch - Unleash your ideas with ASCII
MonoSketch is a powerful ASCII sketching and diagramming app that lets you effortlessly transform your ideas into visually stunning designs.
https://monosketch.io/
3 months ago
0
0
0
reposted by
Tianxin Tang
3 months ago
The 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/
loading . . .
International Association for Cryptologic Research
https://iacr.org/surveyresults/
2
8
11
reposted by
Tianxin Tang
Pavel
4 months ago
85
23364
5262
blog.computationalcomplexity.org/2026/01/ai-a...
loading . . .
AI and Research Papers
2026 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...
https://blog.computationalcomplexity.org/2026/01/ai-and-research-papers.html
4 months ago
1
0
0
reposted by
Tianxin Tang
maia arson crimew đŽ
5 months ago
gpg.fail
7
251
68
reposted by
Tianxin Tang
Filippo Valsorda
5 months ago
At 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.
4
433
127
reposted by
Tianxin Tang
Real World Crypto Symposium
5 months ago
The 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.
loading . . .
RWC 2026 accepted papers
Real World Crypto Symposium
https://rwc.iacr.org/2026/acceptedtalks.php
0
23
10
Interesting read
lawrencecpaulson.github.io//2025/12/05/...
loading . . .
50 years of proof assistants
https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html
5 months ago
0
1
1
reposted by
Tianxin Tang
Neal Agarwal
5 months ago
Made a site comparing the sizes of living things :) The great Julius Csotonyi spent 5 months painting over 60 illustrations for the site, no ai used >
neal.fun/size-of-life/
loading . . .
77
2649
999
reposted by
Tianxin Tang
PQCSA
5 months ago
Happy to announce the posting of D1.1 Survey of PQC algorithms D1.3 Hot Topics and Open Problems in Post-Quantum Cryptography D2.1 Survey of PQC protocols
pqcsa.eu/deliverables...
There are no formally approved deliverables, yet. These drafts are provided as is for the interest of the community.
loading . . .
PQCSA â Post-Quantum Coordinated Support Action
Home page of PQCSAA EU-Project
https://pqcsa.eu/deliverables.html
0
4
3
reposted by
Tianxin Tang
Mikhail Kudinov
5 months ago
We take a look at hash-based schemes, and how they fit in Bitcoin. The paper gives a broad overview of different schemes, including SPHINCS+ and several recent modification. For readers seeking a gentle introduction to hash-based schemes, we hope this work offers a helpful starting point.
add a skeleton here at some point
0
4
1
reposted by
Tianxin Tang
Sabine Oechsner
5 months ago
Interested in the security of MPC implementations? Peter Scholl (
@schollster.bsky.social
) and I are looking for research interns to study the theory/practice gap for MPC. We can host multiple interns in Aarhus for the summer 2026. More information:
mpcinthewild.github.io
Help us spread the word!
loading . . .
MPC in the Wild is a research project that aims to study the real-world implementation security of MPC protocols, in particular, the gap between assumptions on the theory side and implementation choices made in practice.
https://mpcinthewild.github.io
0
20
11
reposted by
Tianxin Tang
Ian Coldwater đ§đ«
6 months ago
This Humble Bundle has a lot of really good hacking books from No Starch Press, and it supports EFF! Get it!
loading . . .
Humble Tech Book Bundle: Hacking by No Starch
Turn your curiosity about computer hacking into a fast-paced, proven, and practical career with the latest Humble Tech Book Bundle!
https://www.humblebundle.com/books/hacking-no-starch-books
3
110
37
reposted by
Tianxin Tang
FakeIacr
6 months ago
How many cryptographers are does it take to run a successful election? N+1 where N is the numbers of shareholders needed to decrypt and 1 with backups of the keys "just in case"
#DecryptTencrede
0
6
1
reposted by
Tianxin Tang
Miro Haller
6 months ago
The call for talks for CAW 2026 (a workshop affiliated with Eurocrypt) is out! This year's motto is "cryptography under real-world constraints and threat models", but other applied cryptography is also very welcome. All info is on:
caw.cryptanalysis.fun
.
1
13
9
reposted by
Tianxin Tang
Mark A. Hanson
6 months ago
We wrote the Strain on scientific publishing to highlight the problems of time & trust. With a fantastic group of co-authors, we present The Drain of Scientific Publishing: a đ§” 1/n Drain:
arxiv.org/abs/2511.04820
Strain:
direct.mit.edu/qss/article/...
Oligopoly:
direct.mit.edu/qss/article/...
8
642
519
arXiv CS category has stopped accepting review articles and position papers (e.g., SoK) unless they have been peer-reviewed
blog.arxiv.org/2025/10/31/a...
loading . . .
Attention Authors: Updated Practice for Review Articles and Position Papers in arXiv CS Category â arXiv blog
https://blog.arxiv.org/2025/10/31/attention-authors-updated-practice-for-review-articles-and-position-papers-in-arxiv-cs-category/
7 months ago
0
0
0
reposted by
Tianxin Tang
Christopher Patton
7 months ago
Anonymous credentials are going to have a big year. In the realm of "fancy" cryptography, they're perhaps the most important primitive we'll need to make PQ. Where do we stand? Lena Heimberger spent part of the summer finding out.
blog.cloudflare.com/pq-anonymous...
loading . . .
Policy, privacy and post-quantum: anonymous credentials for everyone
The world is adopting anonymous credentials for digital privacy, but these systems are vulnerable to quantum computers. This post explores the cryptographic challenges and promising research paths tow...
https://blog.cloudflare.com/pq-anonymous-credentials/
0
4
2
reposted by
Tianxin Tang
Andy Greenberg
7 months ago
Researchers pointed a satellite dish at the sky for 3 years and monitored what unencrypted data it picked up. The results were shocking: They obtained thousands of T-Mobile users' phone calls and texts, military and law enforcement secrets, much more:
www.wired.com/story/satell...
đ§”đ
loading . . .
Satellites Are Leaking the Worldâs Secrets: Calls, Texts, Military and Corporate Data
With just $800 in basic equipment, researchers found a stunning variety of dataâincluding thousands of T-Mobile usersâ calls and texts and even US military communicationsâsent by satellites unencrypte...
https://www.wired.com/story/satellites-are-leaking-the-worlds-secrets-calls-texts-military-and-corporate-data/
20
890
495
reposted by
Tianxin Tang
Signal
8 months ago
In 2023, Signal was the first mainstream messenger to enable post-quantum cryptography. Weâre still ahead of the (elliptical) curve, implementing a new hybrid PQ ratchet ensuring Forward Secrecy & Post-Compromise Security even in a post-quantum world.
signal.org/blog/spqr/
loading . . .
Signal Protocol and Post-Quantum Ratchets
We are excited to announce a significant advancement in the security of the Signal Protocol: the introduction of the Sparse Post Quantum Ratchet (SPQR). This new ratchet enhances the Signal Protocolâs...
https://signal.org/blog/spqr/
5
433
117
reposted by
Tianxin Tang
ePrint Updates
8 months ago
Computationally-Sound Symbolic Cryptography in Lean (
Stefan Dziembowski
, Grzegorz FabiaĆski, Daniele Micciancio, RafaĆ StefaĆski)
ia.cr/2025/1700
0
4
2
reposted by
Tianxin Tang
str4d
8 months ago
Another update: someone claims to have fixed the bug!
add a skeleton here at some point
1
2
4
Stuck at level 44, not good at chess đ„Č
add a skeleton here at some point
8 months ago
1
1
0
Super cool!
add a skeleton here at some point
10 months ago
0
0
0
reposted by
Tianxin Tang
Real World Crypto Symposium
10 months ago
The Call for Contributed Talks is now open for RWC 2026! And the deadline for submissions is now Oct. 10, 2025.
rwc.iacr.org/2026/contrib...
loading . . .
RWC 2026 call for papers
Real World Crypto Symposium
https://rwc.iacr.org/2026/contributed.php
1
13
9
reposted by
Tianxin Tang
ePrint Updates
11 months ago
May the Force not Be with you: Brute-Force Resistant Biometric Authentication and Key Reconstruction (Alexandra Boldyreva, Deep Inder Mohan,
Tianxin Tang
)
ia.cr/2025/1211
0
3
1
reposted by
Tianxin Tang
Dulwich Quantum Computing
11 months ago
Last Friday Scott Aaronson gave a plenary talk at STOC titled "The Status of Quantum Speedups".
acm-stoc.org/stoc2025/key...
Here are his slides:
www.scottaaronson.com/talks/status...
2
24
2
reposted by
Tianxin Tang
Daniel Hugenroth
11 months ago
We launched CoverDrop đ providing sources with a secure and anonymous way to talk to journalists. Having started five years ago as a PhD research project, this now ships within the Guardian app to millions of usersâall of which provide cover traffic. Paper, code, and more info:
www.coverdrop.org
loading . . .
CoverDrop: Blowing the Whistle Through A News App
https://www.coverdrop.org
1
59
21
reposted by
Tianxin Tang
Ben Adida
11 months ago
This is how you build secure systems: public source code, solid theoretical foundation, and third-party audits. Impressive. (Note: maybe we'll find flaws in this! And then they'll get fixed, thanks to transparency. That's also how secure systems work.)
www.theguardian.com/gnm-press-of...
loading . . .
The Guardian launches Secure Messaging, a world-first from a media organisation, in collaboration with the University of Cambridge
Secure Messaging is a new innovation for confidential story-sharing and source protection, underpinning the Guardianâs commitment to investigative journalism. The Guardian has published the open sourc...
https://www.theguardian.com/gnm-press-office/2025/jun/09/the-guardian-launches-secure-messaging-a-world-first-from-a-media-organisation-in-collaboration-with-the-university-of-cambridge
0
9
4
wow, they implemented OAuth with Claude and included the prompts used in the commit messages
github.com/cloudflare/w...
loading . . .
GitHub - cloudflare/workers-oauth-provider: OAuth provider library for Cloudflare Workers
OAuth provider library for Cloudflare Workers. Contribute to cloudflare/workers-oauth-provider development by creating an account on GitHub.
https://github.com/cloudflare/workers-oauth-provider/
12 months ago
0
0
0
reposted by
Tianxin Tang
Randall Munroe
12 months ago
Internet Roadtrip is my favorite thing on the internet right nowâitâs basically Twitch Plays Google Street View. They started in Boston, spent several weeks on a quest to cross the Canadian border, and are now exploring New Brunswick.
neal.fun/internet-roa...
loading . . .
Internet Roadtrip
Let's take a streetview roadtrip
https://neal.fun/internet-roadtrip/
74
4258
819
reposted by
Tianxin Tang
ePrint Updates
12 months ago
Diving Deep Into UC: Uncovering and Resolving Issues in Universal Composability (CĂ©line Chevalier, Ăric Sageloli)
ia.cr/2025/934
1
6
3
I found it quite interesting that "compressed sensing" is also used here. We applied it more directly in a paper on recovering the secret sparse vector from inner products perturbed with noise, in the context of PSI.
add a skeleton here at some point
12 months ago
0
1
0
you reached the end!!
feeds!
log in