CyBOK - Formal Methods with David Basin
From CyBOK — The Cybersecurity Body of Knowledge by University of Bristol and the CyberWire
September 21, 2021 · 31 min
About this episode
David Basin provides an overview of formal methods in the context of cybersecurity.
The Formal Methods knowledge area surveys the most relevant topics in formal methods for security. As a discipline, formal methods address foundations, methods and tools, based on mathematics and logic, for rigourously developing and reasoning about computer systems, whether they be software, hardware, or a combination of the two. The application of formal methods to security has emerged over recent decades as a well-established research area focused on the specification and proof of security properties of systems, their components, and protocols. We speak with CyBOK Formal Methods author David Basin for an overview of the topic.
People in this episode
Guest: David Basin
Topics covered
- formal methods
- security
- mathematics
- logic
- computer systems
Keywords
- rigorous development
- reasoning
- specification
- proof
- security properties
More episodes of CyBOK — The Cybersecurity Body of Knowledge
- CyBOK - Security Informed Safety with Victor Lough · June 8, 2026 · 21 min
- CyBOK - Cloud Security with Mark Buckwell · March 31, 2026 · 23 min
- CyBOK - AI for Security with Matilda Rhode · November 1, 2023 · 17 min
- CyBOK - Security Economics with Tyler Moore · November 1, 2023 · 21 min
- CyBOK - Security and Privacy of AI with Lorenzo Cavallaro and Emiliano De Cristofaro · September 25, 2023 · 21 min
- CyBOK - Network Security 2.0 with Christian Rossow · September 21, 2021 · 20 min
Explore listener stats, chart rankings, contacts and more on the CyBOK — The Cybersecurity Body of Knowledge podcast page.