OWL: Compositional Verification of Security Protocols via an Information-Flow Type System

Name: OWL: Compositional Verification of Security Protocols via an Information-Flow Type System
Uploaded: 2023-01-01
Duration: 14 min 25 s
Description: OWL: Compositional Verification of Security Protocols via an Information-Flow Type System — a 2023 IEEE S&P 2023 Sessions security conference talk on crypto (14:25 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE S&P 2023 Sessions · 2023 · 14:25

▶

OWL: Compositional Verification of Security Protocols via an Information-Flow Type System — a 2023 IEEE S&P 2023 Sessions security conference talk on crypto (14:25 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive