Cognitive Revolution·Dec 24, 2025

The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS

Name: The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS
Uploaded: 2025-12-24T14:07:30+00:00
Description: AI is accelerating cyber threats across all expertise levels and attack stages, making both novice and expert attackers more effective. Formal methods, though traditionally underappreciated, are criti