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

Name: Using Certora Prover for formal verification of smart contracts: methodology and case study
Duration: 40 min 31 s
Description: Using Certora Prover for formal verification of smart contracts: methodology and case study — a Positive Hack Days (PHDays) security conference talk on crypto, vuln-research (40:31 min). Watch the full video, indexed free on the Breach Arc Archive.

Positive Hack Days (PHDays) · 40:31

▶

Using Certora Prover for formal verification of smart contracts: methodology and case study — a Positive Hack Days (PHDays) security conference talk on crypto, vuln-research (40:31 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