Certora Conference Day 1 Introduction

(29:11)

Certora Conference Day 2 Satisfiability

(38:2)

What is Certora and Formal Verification - Simply Explained

(6:11)

Understanding the Workflow of the Certora Prover *CVL 1*

(22:45)

Certora: Keeping your code secure forever: Move Fast and Break Nothing by Mooly Sagiv

(27:2)

Formal Verification with the Certora Prover, Michael George - DeFi Security Summit 2022

(6:6)

Fuzzing Tools Series: Certora Prover

(54:59)

🔐 Securing Squads v4: Inside the Certora Audit | Solana Smart Contract Security

(28:35)

Certora Seminar: Hugh Karp of Nexus Mutual \

(43:55)

Capture the Spec (Competition) | Tomer Ganor (Certora) - DSS 101 2024

(10:54)

Auditing and Formal Verification - Better together

(36:14)

Access Standardisation Meeting 2025

(56)

Using Certora Prover for formal verification of smart contracts: methodology and case study

(40:31)

Safe{Con} 2023: Main stage with Mooly Sagiv from Certora

(21:15)

Inductive Reasoning about Smart Contracts Safety *CVL 1*

(1:10:29)

Why DeFi Security Matters | Mooly Sagiv (Certora)

(10:52)

Satisfiability Modulo Finite Fields // The Certora Prover (Gereon Kremer)

(31:25)