Formally verifying Morpho - Quentin Garchery, DeFi Security Summit 2023

Name: Formally verifying Morpho - Quentin Garchery, DeFi Security Summit 2023
Uploaded: 2023-01-01
Duration: 18 min 30 s
Description: Formally verifying Morpho - Quentin Garchery, DeFi Security Summit 2023 — a 2023 DeFi Security Summit - DSS security conference talk on vuln-research (18:30 min). Watch the full video, indexed free on the Breach Arc Archive.

DeFi Security Summit - DSS · 2023 · 18:30

▶

Formally verifying Morpho - Quentin Garchery, DeFi Security Summit 2023 — a 2023 DeFi Security Summit - DSS security conference talk on vuln-research (18:30 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

vuln-research

← Back to the Breach Arc Archive