BlackAlps 2024: On Automated Analysis For Designing Cryptographic Protocols - Marc Ilunga
▶BlackAlps 2024: On Automated Analysis For Designing Cryptographic Protocols - Marc Ilunga — a 2024 BlackAlps CyberSecurityConference security conference talk on crypto (39:30 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube