Beyond Testing: The Future of Cybersecurity Lies in Mathematics
summary
Fernanda Andrade argues that traditional QA and automated testing are insufficient for security in an era of AI, cloud services, and autonomous systems. She proposes using formal mathematical models to design and assure software security from first principles rather than relying solely on testing.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 3:16Traditional testing limits
- 7:10Information flow control
- 11:07Bell-LaPadula model
- 15:54Haskell security monads
- 19:06Formal methods
- 23:44Formal verification
- 27:36Property testing
- 30:27Emerging security tech
related talks
26mBeyond Testing: Application Security in the Age of DevOps
40mDesign Approaches for Security Automation
41mTest Smarter Security Essentials for Quality Engineers
50mAdaptive Assurance: Implementing an Automated Control Testing Program
50mWhy Software Security Starts with Testing
51mTesting: Programista, bezpiecznik i automatyczne testy (...)
20mIoT Security: Past, Present and Future
40mAutomated Security: Face Your Vulnerabilities