Blog
Previous Writing (Trail of Bits)
2025
2024
2023
2020
- Breaking Aave Upgradeability
- Good idea, bad design: How the Diamond standard falls short
- Bug Hunting with Crytic
- Financial Cryptography 2020 Recap
2019
- Watch Your Language: Our First Vyper Audit
- Trail of Bits @ ICSE 2019 – Recap
- Slither: The Leading Static Analyzer for Smart Contracts