Phil Bugcatcher2 talks by Phil BugcatcherDeFi Security Summit at Devconnect Argentina 2025: Nogal Stage, Day 1Modeling State Transitions to Find Unique Bugs