Welcome to My Academic Webpage!
I am a Postdoc at Dr. Gang (Gary) Tan’s group at Penn State CSE. I earned my Ph.D. from the Computer Science and Engineering Department at The Pennsylvania State University in May 2025. I am very fortunate to be advised by Dr. Trent Jaeger and Dr. Jack Sampson. I also work closely with Dr. Mathias Payer at EPFL and Dr. Zhiyun Qian at UC Riverside.
Research Interests
My primary area of expertise lies in advancing the field of software security, program hardening, static/dynamic program analysis, automatic vulnerability detection, exploit generation, and reverse engineering. My research is driven by the goal of contributing to the development of robust, effective, and efficient defenses against memory-related vulnerabilities. To be more specific, my research aims to ensure the security of systems and software while maintaining cost-effectiveness. I’m dedicated to addressing the evolving challenges in software security that arise from emerging features and the continuous development of programs. My ultimate objective is to strengthen systems against the ever-present cyber threats. Recently, I have also been exploring the AR/VR Security and fuzzing using probabilistic program verification techniques.
Publications
4 papers are in submission and currently under review.
LiteRSan: Lightweight Memory Safety Via Rust-specific Program Analysis and Selective Instrumentation
Tianrou Xia, Kaiming Huang, Dongyeon Yu, Yuseok Jeon, Jie Zhou, Dinghao Wu, Taegyu Kim.
ArXiv (In submission)
Human Task Performance and Associated Internal States in Extended Reality: A Systematic Review of Cognitive, Psychophysiological, and Physiological Dimensions
Nasim Ahmed, Peng Wu, Kaiming Huang, Sungchul Jung, Hansol Rheem, Gang Tan, Mahdi Imani, Rifatul Islam.
Frontiers in Virtual Reality
Beyond Driver Isolation - Triaging Threats against Driver Isolation
Yongzhe Huang, Kaiming Huang, Matthew Ennis, Vikram Narayanan, Anton Burtsev, Trent Jaeger, Gang Tan.
ACSAC 2025
Probabilistic Verification of Cybersickness in Virtual Reality Through Bayesian Networks
Peng Wu, Nasim Ahmed, Abhiram Sarma, Kaiming Huang, Rifatul Islam, Bin Li, Tian Lan, Gang Tan, Mahdi Imani.
IEEE ISMAR 2025
Validating Safety Guarantees of LSTM Models in MR Context
Kaiming Huang, Peng Wu, Mahdi Imani, Tian Lan, Gang Tan.
XRSecurity Workshop (Co-located with ACM MobiHoc 2025)
Personalized Bayesian Networks for Cybersickness Prediction in Virtual Reality
Peng Wu, Nasim Ahmed, Kaiming Huang, Rifatul Islam, Tian Lan, Gang Tan, Mahdi Imani.
XRSecurity Workshop (Co-located with ACM MobiHoc 2025)
SoK: Challenges and Paths Toward Memory Safety for eBPF [PDF]
Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger.
IEEE S&P 2025
SoK: Understanding the Attack Surface in Device Driver Isolation Frameworks [PDF]
Yongzhe Huang, Kaiming Huang, Matthew Ennis, Vikram Narayanan, Anton Burtsev, Trent Jaeger, Gang Tan.
Arxiv
Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects [PDF]
Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger.
ACM CCS 2024
OPTISAN: Using Multiple Spatial Error Defenses to Optimize Stack Memory Protection within a Budget [PDF]
Rahul George, Mingming Chen, Kaiming Huang, Zhiyun Qian, Thomas La Porta, Trent Jaeger.
USENIX Security 2024
Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety [PDF]
Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger.
IEEE Security and Privacy Special Issue on Memory Safety
Assessing the Impact of Efficiently Protecting Ten Million Stack Objects from Memory Errors Comprehensively [PDF]
Kaiming Huang, Jack Sampson, Trent Jaeger.
SecDev 2023
Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces [PDF]
Anton Burtsev, Vikram Narayanan, Yongzhe Huang, Kaiming Huang, Gang Tan, Trent Jaeger.
HotOS 2023
KSplit: Automating Device Driver Isolation [PDF]
Yongzhe Huang, Vikram Narayanan, David Detweiler, Kaiming Huang, Gang Tan, Trent Jaeger, Anton Burtsev.
OSDI 2022
The Taming of the Stack: Isolating Stack Data from Memory Errors [PDF]
Kaiming Huang, Yongzhe Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger.
NDSS 2022
Employing attack graphs for intrusion detection [PDF]
Frank Capobianco, Rahul George, Kaiming Huang, Trent Jaeger, Srikanth Krishnamurthy, Zhiyun Qian, Mathias Payer, Paul Yu.
NSPW 2019