Research record

Publications.

Published and accepted work is grouped by research direction; submitted manuscripts are listed separately. See also my Google Scholar profile.

Submitted manuscripts

2027
PolySafe: Synthesizing Enforceable Security Envelopes for Recurrent Neural Networks
Kaiming Huang, Jialun Zhang, Shu Hong, Peng Wu, Nasim Ahmed, Jianan Jiang, Rifatul Islam, Mahdi Imani, Tian Lan, Bin Li, Gang Tan
Submitted to NDSS 2027
2027
Certified Gaze Monitoring for Cognitive Attacks in Mixed Reality
Shu Hong, Kaiming Huang, Mingyu Zhu, Zifan Zhou, Jianan Jiang, Nasim Ahmed, Peng Wu, Bin Li, Rifatul Islam, Mahdi Imani, Gang Tan, Tian Lan
Submitted to IEEE VR 2027
2027
Predicting, Verifying, and Characterizing Cybersickness Over Extended Mixed-Reality Exposure in Tactical Training
Peng Wu, Kaiming Huang, Nasim Ahmed, Md Mahedi Hassan, Mingyu Zhu, Peyton S. Bailey, Jessyca L. Derby, John Kwasinski, JoAnn Archer, Rifatul Islam, Bin Li, Tian Lan, Gang Tan, Mahdi Imani
Submitted to IEEE VR 2027
2027
Forecasting Post-Exposure Cybersickness Symptom Burden and Recovery in Mixed Reality
Peng Wu, Nasim Ahmed, Kaiming Huang, Md Mahedi Hassan, Mingyu Zhu, Peyton S. Bailey, Jessyca L. Derby, John Kwasinski, JoAnn Archer, Rifatul Islam, Bin Li, Tian Lan, Gang Tan, Mahdi Imani
Submitted to IEEE VR 2027
2027
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
Submitted to NDSS 2027
PDF ↗
2027
A Bayesian Approach to Estimating Residual Risk of Fuzzing
Srivatsa Kamballa, Kaiming Huang, Rahul R. Shevade, Yannic Noller, Gang Tan, Saeid Tizpaz-Niari
Submitted to ICSE 2027

Analysis-driven practical security for software and systems

2027
DualGuard: Comprehensive and Efficient Memory Safety across Sequential and Speculative Execution
Sixuan Dang, Quan Zhou, Kaiming Huang, Jianan Zhu, Anitha Gollamudi, Trent Jaeger, Danfeng Zhang
NDSS 2027
2025
Beyond Driver Isolation — Triaging Threats against Driver Isolation
Yongzhe Huang, Kaiming Huang, Matthew Ennis, Vikram Narayanan, Anton Burtsev, Trent Jaeger, Gang Tan
ACSAC 2025
PDF ↗
2025
SoK: Challenges and Paths Toward Memory Safety for eBPF
Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger
IEEE S&P 2025
PDF ↗
2024
Top of the Heap: Efficient Memory Error Protection for Safe Heap Objects
Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger
ACM CCS 2024
PDF ↗
2024
OPTISAN: Using Multiple Spatial Error Defenses to Optimize Stack Memory Protection within a Budget
Rahul George, Mingming Chen, Kaiming Huang, Zhiyun Qian, Thomas La Porta, Trent Jaeger
USENIX Security 2024
PDF ↗
2024
Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety
Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger
IEEE Security & Privacy, Special Issue on Memory Safety
PDF ↗
2023
Assessing the Impact of Efficiently Protecting Ten Million Stack Objects from Memory Errors Comprehensively
Kaiming Huang, Jack Sampson, Trent Jaeger
IEEE SecDev 2023
PDF ↗
2023
Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces
Anton Burtsev, Vikram Narayanan, Yongzhe Huang, Kaiming Huang, Gang Tan, Trent Jaeger
HotOS 2023
PDF ↗
2022
KSplit: Automating Device Driver Isolation
Yongzhe Huang, Vikram Narayanan, David Detweiler, Kaiming Huang, Gang Tan, Trent Jaeger, Anton Burtsev
OSDI 2022
PDF ↗
2022
The Taming of the Stack: Isolating Stack Data from Memory Errors
Kaiming Huang, Yongzhe Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger
NDSS 2022
PDF ↗
2019
Employing Attack Graphs for Intrusion Detection
Frank Capobianco, Rahul George, Kaiming Huang, Trent Jaeger, Srikanth Krishnamurthy, Zhiyun Qian, Mathias Payer, Paul Yu
NSPW 2019
PDF ↗

Formal and probabilistic verification for intelligent systems

2026
Believe It. Engage It.: A Mixed Reality Dataset of Engagement, Cognitive Load, Physical Load, Cybersickness, Task Performance Under Cognitive Attack
Nasim Ahmed, Md Mahedi Hassan, Peng Wu, Kaiming Huang, Mingyu Zhu, JoAnn Archer, John Kwasinski, Peyton S. Bailey, Jessyca L. Derby, Tian Lan, Bin Li, Gang Tan, Mahdi Imani, Rifatul Islam
ISMAR 2026
PDF ↗
2026
One Size Does Not Fit All: Personalized Cybersickness Forecasting with Asymmetric Few-Shot Meta-Learning
Nasim Ahmed, Peng Wu, Kaiming Huang, Tian Lan, Bin Li, Gang Tan, Mahdi Imani, Rifatul Islam
ISMAR 2026
PDF ↗
2026
Not Everyone Gets Sick the Same Way: Personalized Cybersickness Prediction via Bayesian Networks with Individual Susceptibility Modeling
Nasim Ahmed, Peng Wu, Kaiming Huang, Bin Li, Tian Lan, Gang Tan, Mahdi Imani, Rifatul Islam
ISMAR 2026 / IEEE TVCG
PDF ↗
2026
Robust Engagement Estimation in Mixed Reality Under Cognitive Attack
Peng Wu, Kaiming Huang, Mingyu Zhu, Zifan Zhou, Jianan Jiang, Nasim Ahmed, Md Mahedi Hassan, Shu Hong, Bin Li, Rifatul Islam, Tian Lan, Gang Tan, Mahdi Imani
ISMAR 2026 / IEEE TVCG
PDF ↗
2026
Lag You Can Feel: Within-Person Links Between Latency, Performance, and Trust in Mixed Reality
Peng Wu, Mingyu Zhu, Zifan Zhou, Jianan Jiang, Haowei Li, Juaren Steiger, Nasim Ahmed, Kaiming Huang, Gang Tan, Tian Lan, Rifatul Islam, Jonathan Dodge, Mahdi Imani
XRSecurity 2026 (co-located with MobiCom)
PDF ↗
2025
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
PDF ↗
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
PDF ↗
2025
Validating Safety Guarantees of LSTM Models in MR Context
Kaiming Huang, Peng Wu, Mahdi Imani, Tian Lan, Gang Tan
XRSecurity 2025 (co-located with MobiHoc)
PDF ↗
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 2025 (co-located with MobiHoc)
PDF ↗

Other manuscripts and preprints

—
InterSpec: Static Analysis Guided Policy Inference and Enforcement for Interface Safety in Compartmentalized Applications
Yongzhe Huang, Kaiming Huang, Dongrui Zeng, Derrick McKee, Nathan Burow, Hamed Okhravi, Trent Jaeger, Gang Tan
Manuscript
2024
SoK: Understanding the Attack Surface in Device Driver Isolation Frameworks
Yongzhe Huang, Kaiming Huang, Matthew Ennis, Vikram Narayanan, Anton Burtsev, Trent Jaeger, Gang Tan
arXiv preprint