Formal Verification of Saber’s Public-Key Encryption Scheme in EasyCrypt

Name: Formal Verification of Saber’s Public-Key Encryption Scheme in EasyCrypt
Uploaded: 2022-01-01
Duration: 4 min 22 s
Description: Formal Verification of Saber’s Public-Key Encryption Scheme in EasyCrypt — a 2022 Crypto 2022 security conference talk on crypto (4:22 min). Watch the full video, indexed free on the Breach Arc Archive.

Crypto 2022 · 2022 · 4:22

▶

Formal Verification of Saber’s Public-Key Encryption Scheme in EasyCrypt — a 2022 Crypto 2022 security conference talk on crypto (4:22 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive