Safe and usable kernel extensions with Rax.
CoRR, February, 2025
Fast (Trapless) Kernel Probes Everywhere.
Proceedings of the 2024 USENIX Annual Technical Conference, 2024
Programmable System Call Security with eBPF.
CoRR, 2023
Practical and Flexible Kernel CFI Enforcement using eBPF.
Proceedings of the 1st Workshop on eBPF and Kernel Extensions, 2023
Kernel extension verification is untenable.
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023