ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation - 2024

Explore a formally verified implementation of X.509 certificate chain validation in this 19-minute IEEE conference talk. Delve into the ARMOR project, which aims to enhance the security and reliability of digital certificate validation processes. Learn about the challenges and methodologies involved in formal verification of cryptographic protocols, and gain insights into how this approach can significantly reduce vulnerabilities in critical security infrastructure.