Skip to main content
Cybersecurity Atlas

Theoretical Foundations

Description

The use analysis and verification techniques based on formal methods to provide theoretical proof of security properties either in software, hardware and algorithm design.