Author:
Necula George C.,Lee Peter
Cited by
121 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Unsafe kernel extension composition via BPF program nesting;Proceedings of the SIGCOMM Workshop on eBPF and Kernel Extensions;2024-08-04
2. Axiomatising an information flow logic based on partial equivalence relations;International Journal on Software Tools for Technology Transfer;2024-06-25
3. RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly;Proceedings of the ACM on Programming Languages;2024-06-20
4. CARAT KOP: Towards Protecting the Core HPC Kernel from Linux Kernel Modules;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12
5. CARAT CAKE: replacing paging via compiler/kernel cooperation;Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2022-02-22