In this keynote, Michael D. George of Certora, presents their smart contract auditing using Certora Prover.
The video was uploaded on February 17, 2022.
