2024 467 ARMOR A Formally Verified Implementation of X 509 Certificate Chain Validation Joyanta De
Engineers explore architecture and security mechanisms for 2024 467 ARMOR A Formally Verified Implementation of X 509 Certificate Chain Validation Joyanta De.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·15 min
Industry experts analyze emerging threats surrounding A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.
modelfullyverified+3
IEEE Symposium on Security and Privacy·15 min
Industry experts analyze emerging threats surrounding A Secure and Formally Verified Linux KVM Hypervisor.
linuxhypervisorformally+1
IEEE Symposium on Security and Privacy·19 min
Engineers explore architecture and security mechanisms for Formally Verified Cryptographic Web Applications in WebAssembly.
webformallyverified+3