Yang Zhang

Systematic Analysis and Detection of Misconfiguration Vulnerabilities in Android Smartphones

Yang Zhang, Yi Deng, Xiaoshan Sun, 2014, 2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications.

Operating System Security Policy Hardening via Capability Dependency Graphs

Yang Zhang, Dengguo Feng, Zhihui Han, 2015, ISPEC.

Approach of Degenerate Test Set Generation Based on Secure State Transition: Approach of Degenerate Test Set Generation Based on Secure State Transition

Yang Zhang, Dengguo Feng, Liang Cheng, 2010 .

Understanding and Mitigating Security Risks of Network on Medical Cyber Physical System

Dengguo Feng, Liang Cheng, Zhangtan Li, 2021, WASA.

A New Property Verification Method for Code Security Based on Pointer Logic: A New Property Verification Method for Code Security Based on Pointer Logic

Yang Zhang, Liang Cheng, Liang Cheng, 2009 .

A language for secure requirement description based on information flow

Dengguo Feng, Yang Zhang, Liang Cheng, 2010, 2010 IEEE International Conference on Intelligent Computing and Intelligent Systems.

A linear-time complexity algorithm for solving the Dyck-CFL reachability problem on bi-directed trees

Yang Zhang, Xiaoshan Sun, Liang Cheng, 2013, Other Conferences.

Improving Fitness Function for Language Fuzzing with PCFG Model

Yang Zhang, Yu Fu, Xiaoshan Sun, 2018, 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).

Information Security Practice and Experience

Dengguo Feng, Yang Zhang, Zhihui Han, 2015, Lecture Notes in Computer Science.

A Covert Timing Channel via Algorithmic Complexity Attacks: Design and Analysis

Yang Zhang, Xiaoshan Sun, Liang Cheng, 2011, 2011 IEEE International Conference on Communications (ICC).

Improving Accuracy of Static Integer Overflow Detection in Binary

Yang Zhang, Yi Deng, Dengguo Feng, 2015, RAID.