RuhrSec 2023 // Keynote: Towards High-Assurance Cryptographic Software, Karthikeyan Bhargavan
▶RuhrSec 2023 // Keynote: Towards High-Assurance Cryptographic Software, Karthikeyan Bhargavan — a 2023 Hackmanit – IT Security security conference talk on keynote (38:38 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube