A Covert Timing Channel via Algorithmic Complexity Attacks: Design and Analysis. - Xiaoshan Sun; Liang Cheng 004; Yang Zhang 021 (ICC, 2011)

Model checking security policy model using both UML static and dynamic diagrams. - Liang Cheng 004; Yang Zhang 021 (SIN, 2011)

Refining the Pointer Analysis by Exploiting Constraints on the CFL-Paths. - Xiaoshan Sun; Liang Cheng 004; Yang Zhang 021; Yi Deng 002; Jingbiao Hou (APSEC (1), 2013)

Heuristic Path Pruning Algorithm Based on Error Handling Pattern Recognition in Detecting Vulnerability. - Dong Chen 006; Yang Zhang 021; Liang Cheng 004; Yi Deng 002; Xiaoshan Sun (COMPSAC Workshops, 2013)

Static Integer Overflow Vulnerability Detection in Windows Binary. - Yi Deng 002; Yang Zhang 021; Liang Cheng 004; Xiaoshan Sun (IWSEC, 2013)

Measuring and Comparing the Protection Quality in Different Operating Systems. - Zhihui Han; Liang Cheng 004; Yang Zhang 021; Dengguo Feng (NSS, 2013)

Quantitatively Measure Access Control Mechanisms across Different Operating Systems. - Liang Cheng 004; Yang Zhang 021; Zhihui Han (SERE, 2013)

Systematic Analysis and Detection of Misconfiguration Vulnerabilities in Android Smartphones. - Zhihui Han; Liang Cheng 004; Yang Zhang 021; Shuke Zeng; Yi Deng 002; Xiaoshan Sun (TrustCom, 2014)

Evaluating and comparing the quality of access control in different operating systems. - Liang Cheng 004; Yang Zhang 021; Zhihui Han; Yi Deng 002; Xiaoshan Sun; Dengguo Feng (Comput. Secur., 2014)

Operating System Security Policy Hardening via Capability Dependency Graphs. - Zhihui Han; Liang Cheng 004; Yang Zhang 021; Dengguo Feng (ISPEC, 2015)

Improving Accuracy of Static Integer Overflow Detection in Binary. - Yang Zhang 021; Xiaoshan Sun; Yi Deng 002; Liang Cheng 004; Shuke Zeng; Yu Fu; Dengguo Feng (RAID, 2015)

Protecting interoperable clinical environment with authentication. - Liang Cheng 004; Zhangtan Li; Yi Zhang 051; Yang Zhang 021; Insup Lee 001 (SIGBED Rev., 2017)

Optimizing seed inputs in fuzzing with machine learning. - Liang Cheng 004; Yang Zhang 021; Yi Zhang 051; Chen Wu; Zhangtan Li; Yu Fu; Haisheng Li 002 (ICSE (Companion Volume), 2019)

Tracking Sensitive Information and Operations in Integrated Clinical Environment. - Zhangtan Li; Liang Cheng 004; Yang Zhang 021 (TrustCom/BigDataSE, 2019)

Mitigating network-layer security attacks on authentication-enhanced openICE. - Zhangtan Li; Liang Cheng 004; Yang Zhang 021 (SIGBED Rev., 2019)

Improving the Effectiveness of Grey-box Fuzzing By Extracting Program Information. - Yu Fu; Siming Tong; Xiangyu Guo; Liang Cheng 004; Yang Zhang 021; Dengguo Feng (TrustCom, 2020)

Understanding and Mitigating Security Risks of Network on Medical Cyber Physical System. - Zhangtan Li; Liang Cheng 004; Yang Zhang 021; Dengguo Feng (WASA (2), 2021)

Tea: Program Repair Using Neural Network Based on Program Information Attention Matrix. - Wenshuo Wang; Chen Wu; Liang Cheng 004; Yang Zhang 021 (CoRR, 2021)