Our team has tracked AI's progress in formal verification for over two years, waiting for a project like this to become practical. That time has now come! Formally verified end-to-end execution of a Linux process running an x86 binary statically linked against glibc. V12 @v12sec Oct 30 x86 formal verification is coming! The (first?) published machine-checked proof of a security property for the end-to-end execution of a Linux process running an x86 binary statically linked against glibc. And we believe it scales! A joint research project with @zellic_io 🧵👇
Security reviews and research that keep winners winning. We apply unmatched hacking talent to secure critical software for the most innovative teams.
Followers
18.4K
as X shows it
Growth 7D
Not measured yet
still measuring (needs 7 days of snapshots)
Growth 30D
Not measured yet
still measuring (needs 30 days of snapshots)
Growth 90D
Not measured yet
still measuring (needs 90 days of snapshots)
Avg views
Not measured yet
needs 3 posts with the count
Avg likes
Not measured yet
needs 3 posts with the count
Avg replies
Not measured yet
needs 3 posts with the count
Avg reposts
Not measured yet
needs 3 posts with the count
Engagement rate
Not measured yet
needs 3 posts with counts
Posting frequency
0.0 /wk
5 posts over 1304 days
Last post
9d
30 Oct 2026
Measured
8 Nov 2026
1 daily snapshot
Followers over time
Still measuring: a chart needs 3 daily snapshots (1 so far). We never backfill.
Average views per post
Still measuring: a chart needs 3 daily points with views.
Recent posts
Congrats to Zellic Cryptographer @JiaxinGuan for two accepted papers at TCC 2026, with one of them earning the Outstanding Paper Award! He will be presenting both results at the Theory of Cryptography Conference in New York this November.
2 replies·5 reposts·73 likes·4,907 views
Shoutout to @rdjgr and @fcremo for a successful pwn2own exploitation! GIF TrendAI Zero Day Initiative @thezdi Oct 7 Another printer bites the dust by Rick de Jager and Filippo Cremonese of @zellic_io / @v12sec earning him $5k and 2 Master of Pwn points in his successful exploit of Lexmark CX532adwe #Pwn2Own
Congratulations to our very own @ipwning for another huge finding! Less than two weeks since we shared the details of his $93,750 zcash bounty... And he's already topped it 🔥 Looking forward to sharing another deep dive once disclosure completes. Immunefi @immunefi Oct 5 $150,000 from a FIRST paid report 🚀 Security researcher @ipwning just earned a massive $150K bounty on Immunefi after finding a Critical vulnerability in a Blockchain/DLT program. Straight to #5 on the Immunefi 90-day leaderboard. Absolutely insane debut 🔥 Congrats!