Formal Verification of the INTMAX2 Protocol | Denisa Diaconescu (Nethermind)

Name: Formal Verification of the INTMAX2 Protocol | Denisa Diaconescu (Nethermind)
Uploaded: 2024-01-01
Duration: 21 min 50 s
Description: Formal Verification of the INTMAX2 Protocol | Denisa Diaconescu (Nethermind) — a 2024 DeFi Security Summit 2024 - Day 3 security conference talk on network (21:50 min). Watch the full video, indexed free on the Breach Arc Archive.

DeFi Security Summit 2024 - Day 3 · 2024 · 21:50

▶

Formal Verification of the INTMAX2 Protocol | Denisa Diaconescu (Nethermind) — a 2024 DeFi Security Summit 2024 - Day 3 security conference talk on network (21:50 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

network

← Back to the Breach Arc Archive