CIVSCOPE: Analyzing Potential Memory Corruption Bugs in Compartment Interfaces.
Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023
Assessing the Impact of Interface Vulnerabilities in Compartmentalized Software.
CoRR, 2022
Lossless instruction-to-object memory tracing in the Linux kernel.
Proceedings of the SYSTOR '21: The 14th ACM International Systems and Storage Conference, 2021