Tech Lead Security Researcher · Certora · company speakers →
Tech Lead Security Researcher at Certora, presents the security-centric design of Aave V4, exploring core architectural choices, their threat models, and how formal verification with the Certora Prover delivers robust, scalable guarantees
Is this you? Claim this profile →
No public contact links on file.
Sectors
Sourcing speakers for your event?
Browse the speaker directory →