| Kernel extension verification is untenable J Jia, R Sahu, A Oswald, D Williams, MV Le, T Xu Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 150-157, 2023 | 23 | 2023 |
| Programmable system call security with ebpf J Jia, YF Zhu, D Williams, A Arcangeli, C Canella, H Franke, ... arXiv preprint arXiv:2302.10366, 2023 | 22 | 2023 |
| Practical and flexible kernel cfi enforcement using ebpf J Jia, MV Le, S Ahmed, D Williams, H Jamjoom Proceedings of the 1st Workshop on eBPF and Kernel Extensions, 84-85, 2023 | 4 | 2023 |
| Critical-object guided operating system fuzzing J Jia, MV Le, MS Ahmed, HT Jamjoom US Patent App. 18/121,650, 2024 | | 2024 |
| Fast (trapless) kernel probes everywhere J Jia, MV Le, S Ahmed, D Williams, H Jamjoom, T Xu 2024 USENIX Annual Technical Conference (USENIX ATC 24), 379-386, 2024 | | 2024 |
