• 2024/06/20 Mini-SoK: On Applying LLMs to Verification
• 2024/03/07 What I Did in 2023, and Being Asian-American
• 2023/10/05 Luck
• 2023/10/03 A (Living, Incomplete?) Survey of CPU Attacks
• 2023/08/16 Costs of Creation 2: The Verification of LK99
• 2023/08/07 Costs of Creation: The Need for Testing
• 2023/01/21 What I Did in 2022
• 2022/04/12 Review: A Phd Is Not Enough
• 2022/03/29 I Spent 600 Dollars to Whisper to Chips
• 2021/10/09 Cryptopals Set 5
• 2021/09/17 Startup Ideas
• 2021/08/02 On Hardware Security (Part 1): The Problem
• 2020/09/01 1,597,463,007
• 2020/05/25 Cryptopals Set 4
• 2020/03/30 Cryptopals Set 3
• 2020/02/25 Cryptopals Set 2
• 2020/01/21 Cryptopals Set 1
• 2020/01/01 What I Learned in 2019
• 2019/09/08 Purpose of this Blog