- Playing Minesweeper with a SMT Solver
by stong1 on 6/12/25, 7:28 PM, with comments
- A Google Shareholder Is Suing the Company over the TikTok Ban
by stong1 on 6/10/25, 7:56 PM, with comments
- Secure Multiparty Computation from Scratch
by stong1 on 2/7/24, 3:54 AM, with comments
- Formally verifying a popular Ethereum smart contract library
by stong1 on 4/3/22, 4:16 AM, with comments
- The Auditor Grindset: A crash course on crypto hacking while keeping your sanity
by stong1 on 2/15/22, 2:14 AM, with comments
- A bug that doesn’t exist on x86: Exploiting an ARM-only race condition
by stong1 on 10/26/21, 4:47 AM, with comments