Lightweight kernel isolation with virtualization and VM functions V Narayanan, Y Huang, G Tan, T Jaeger, A Burtsev Proceedings of the 16th ACM SIGPLAN/SIGOPS international conference on …, 2020 | 42 | 2020 |
Program-mandering: Quantitative privilege separation S Liu, D Zeng, Y Huang, F Capobianco, S McCamant, T Jaeger, G Tan Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | 33 | 2019 |
{KSplit}: Automating device driver isolation Y Huang, V Narayanan, D Detweiler, K Huang, G Tan, T Jaeger, ... 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022 | 20 | 2022 |
Abslearn: a gnn-based framework for aliasing and buffer-size information retrieval K Liang, J Tan, D Zeng, Y Huang, X Huang, G Tan Pattern Analysis and Applications 26 (3), 1171-1189, 2023 | 17 | 2023 |
The taming of the stack: Isolating stack data from memory errors K Huang, Y Huang, M Payer, Z Qian, J Sampson, G Tan, T Jaeger NDSS, 2022 | 15 | 2022 |
Sdft: A pdg-based summarization for efficient dynamic data flow tracking X Kan, C Sun, S Liu, Y Huang, G Tan, S Ma, Y Zhang 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | 5 | 2021 |
Automatic IDL Generation for Privilege Separation Y Huang | 1 | 2019 |
Sliver: A Scalable Slicing-Based Verification for Information Flow Security X Rao, C Sun, D Zeng, Y Huang, G Tan IEEE Transactions on Dependable and Secure Computing, 2024 | | 2024 |
Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces A Burtsev, V Narayanan, Y Huang, K Huang, G Tan, T Jaeger Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 166-173, 2023 | | 2023 |