A Secure and Formally Verified Linux KVM Hypervisor

HardwareIEEE Symposium on Security and Privacy15 minOpen on YouTube ↗

Industry experts analyze emerging threats surrounding A Secure and Formally Verified Linux KVM Hypervisor.

Summary

No summary yet — watch the video above, or open it on YouTube.

Related talks

IEEE Symposium on Security and Privacy·22 min

IEEE SP
Hardware
Date: 2025
Location: Ieee Sp

Micro-Policies: Formally Verified, Tag-Based Security Monitors

Presenters detail vulnerability discovery and exploitation in Micro-Policies: Formally Verified, Tag-Based Security Monitors.

micro-policieformallyverified+3

IEEE Symposium on Security and Privacy·19 min

IEEE SP
AppSec
Date: 2025
Location: Ieee Sp

Formally Verified Cryptographic Web Applications in WebAssembly

Engineers explore architecture and security mechanisms for Formally Verified Cryptographic Web Applications in WebAssembly.

webformallyverified+3

IEEE Symposium on Security and Privacy·19 min

IEEE SP
Community
Date: 2024
Location: Ieee Sp

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.

armorformallyverified+2