关注
Yongzhe Huang
Yongzhe Huang
在 psu.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
422020
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
332019
{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
202022
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
172023
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
152022
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
52021
Automatic IDL Generation for Privilege Separation
Y Huang
12019
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
系统目前无法执行此操作,请稍后再试。
文章 1–9