Short paper: a look at smartphone permission models. - Kathy Wain Yee Au; Yi Fan Zhou; Zhen Huang 002; Phillipa Gill; David Lie (SPSM@CCS, 2011)

PScout: analyzing the Android permission specification. - Kathy Wain Yee Au; Yi Fan Zhou; Zhen Huang 002; David Lie (CCS, 2012)

Ocasta: Clustering Configuration Settings for Error Recovery. - Zhen Huang 002; David Lie (DSN, 2014)

LMP: light-weighted memory protection with hardware assistance. - Wei Huang 027; Zhen Huang 002; Dhaval Miyani; David Lie (ACSAC, 2016)

Talos: Neutralizing Vulnerabilities with Security Workarounds for Rapid Response. - Zhen Huang 002; Mariana D'Angelo; Dhaval Miyani; David Lie (IEEE Symposium on Security and Privacy, 2016)

BinPro: A Tool for Binary Source Code Provenance. - Dhaval Miyani; Zhen Huang 002; David Lie (CoRR, 2017)

SAIC: Identifying Configuration Files for System Configuration Management. - Zhen Huang 002; David Lie (CoRR, 2017)

Senx: Sound Patch Generation for Security Vulnerabilities. - Zhen Huang 002; David Lie (CoRR, 2017)

Using Safety Properties to Generate Vulnerability Patches. - Zhen Huang 002; David Lie; Gang Tan; Trent Jaeger (login Usenix Mag., 2020)

Integer Overflow Detection with Delayed Runtime Test. - Zhen Huang 002; Xiaowei Yu (ARES, 2021)

Fine-grained Program Partitioning for Security. - Zhen Huang 002; Trent Jaeger; Gang Tan (EuroSec@EuroSys, 2021)

Detecting Software Vulnerabilities Using Neural Networks. - Amy Aumpansub; Zhen Huang 002 (ICMLC, 2021)

Semantic-Aware Vulnerability Detection. - Zhen Huang 002; Marc White (CSR, 2022)

Learning-based Vulnerability Detection in Binary Code. - Amy Aumpansub; Zhen Huang 002 (ICMLC, 2022)

Runtime Recovery for Integer Overflows. - Zhen Huang 002 (ICSRS, 2022)

Mitigating Vulnerabilities in Closed Source Software. - Zhen Huang 002; Gang Tan; Xiaowei Yu (EAI Endorsed Trans. Security Safety, 2022)

Multiclass Classification of Software Vulnerabilities with Deep Learning. - Crystal Contreras; Hristina Dokic; Zhen Huang 002; Daniela Stan Raicu; Jacob Furst 001; Roselyne Tchoua (ICMLC, 2023)

A New Pipeline for Knowledge Graph Reasoning Enhanced by Large Language Models Without Fine-Tuning. - Zhongwu Chen; Long Bai 002; Zixuan Li 001; Zhen Huang 002; Xiaolong Jin 001; Yong Dou (EMNLP, 2024)

Vulnerability Detection in C/C++ Code with Deep Learning. - Zhen Huang 002; Amy Aumpansub (CoRR, 2024)

Path-wise Vulnerability Mitigation. - Zhen Huang 002; Hristina Dokic (CoRR, 2024)