Micro-Policies: Formally Verified, Tag-Based Security Monitors
Presenters detail vulnerability discovery and exploitation in Micro-Policies: Formally Verified, Tag-Based Security Monitors.
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 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
IEEE Symposium on Security and Privacy·19 min
Engineers explore architecture and security mechanisms for 2024 467 ARMOR A Formally Verified Implementation of X 509 Certificate Chain Validation Joyanta De.
armorformallyverified+2