Session on Security Proofs
▶Session on Security Proofs — a 2023 FSE 2023 security conference talk on crypto (1:02:42 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube
▶Session on Security Proofs — a 2023 FSE 2023 security conference talk on crypto (1:02:42 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube