Kevin Lotz2 talks by Kevin LotzDeFi Security Summit 2026: Amber Room, Day 1DeFi Security 101 2025 - From Fuzzing to Formal Verification | Kevin Lotz, Certora