Systems security research portal bridging compile-time intent to runtime enforcement. Features: Sentinel-CC, Sentinel Runtime, Hyperion XDP, and Telos.
linux-kernel ebpf xdp formal-verification compiler-design lsm llvm-pass trusted-computing systems-security ai-security cybersecurity-research research-dossier
-
Updated
May 26, 2026 - HTML