formally-verifying

Strange Loop·41 min

• STRANGE LOOP
• Blue Team
• Date: 2022
• Location: Strange Loop

Explores formally Verifying Everybodys Cryptography by Mike Dodds, Joey Dodds (Strange Loop 2022) and evaluates key implications for security practitioners.