Lilian CariouSecurity and formal verification researcher at Certora.1 talk by Lilian CariouDeFi Security Summit 2026: Amber Room, Day 1