Move Fast and Break Nothing - Michael George

In this keynote, Michael D. George of Certora, presents their smart contract auditing using Certora Prover.

The video was uploaded on February 17, 2022.