Software Verification in Lean - Karthik Bhargavan

Name: Software Verification in Lean - Karthik Bhargavan
Uploaded: Apr 23, 2026
Duration: 4026 s
Description: A survey of lessons from formally verifying real-world cryptographic protocols, including TLS and Signal's PQXDH and SPQR protocols.

Lean FRO303 subscribers

123 views

Apr 23, 2026

1:07:06

A survey of lessons from formally verifying real-world cryptographic protocols, including TLS and Signal's PQXDH and SPQR protocols.

Download

1 formats

Video Formats

360pmp447.9 MB

Download

Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.