0xa5dfSenior security researcher at Certora.1 talk by 0xa5dfDeFi Security Summit 2026: Amber Room, Day 1