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

Name: Formal Verification with the Certora Prover, Michael George - DeFi Security Summit 2022
Uploaded: 2022-01-01
Duration: 6 min 6 s
Description: Formal Verification with the Certora Prover, Michael George - DeFi Security Summit 2022 — a 2022 DeFi Security Summit - DSS security conference talk on crypto, vuln-research (6:06 min). Watch the full video, indexed free on the Breach Arc Archive.

DeFi Security Summit - DSS · 2022 · 6:06

▶

Formal Verification with the Certora Prover, Michael George - DeFi Security Summit 2022 — a 2022 DeFi Security Summit - DSS security conference talk on crypto, vuln-research (6:06 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto vuln-research

← Back to the Breach Arc Archive