An Interactive Prover for Protocol Verification in the Computational Model

Name: An Interactive Prover for Protocol Verification in the Computational Model
Uploaded: 2021-01-01
Duration: 13 min 44 s
Description: An Interactive Prover for Protocol Verification in the Computational Model — a 2021 IEEE Security & Privacy 2021 security conference talk on network (13:44 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2021 · 2021 · 13:44

▶

An Interactive Prover for Protocol Verification in the Computational Model — a 2021 IEEE Security & Privacy 2021 security conference talk on network (13:44 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

network

← Back to the Breach Arc Archive