ProVerif with Lemmas, Induction, Fast Subsumption, and Much More

Name: ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
Uploaded: 2022-01-01
Duration: 17 min 12 s
Description: ProVerif with Lemmas, Induction, Fast Subsumption, and Much More — a 2022 IEEE S&P 2022 Sessions security conference talk on crypto (17:12 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE S&P 2022 Sessions · 2022 · 17:12

▶

ProVerif with Lemmas, Induction, Fast Subsumption, and Much More — a 2022 IEEE S&P 2022 Sessions security conference talk on crypto (17:12 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive