Stories by stong1

Playing Minesweeper with a SMT Solver

A Google Shareholder Is Suing the Company over the TikTok Ban

Secure Multiparty Computation from Scratch

Formally verifying a popular Ethereum smart contract library

The Auditor Grindset: A crash course on crypto hacking while keeping your sanity

A bug that doesn’t exist on x86: Exploiting an ARM-only race condition