Enforcing the Principle of Least Privilege with a State-Based Privilege Control Model. - Bin Liang 002; Heng Liu; Wenchang Shi; Yanjun Wu (ISPEC, 2005)

Security On-demand Architecture with Multiple Modules Support. - Yanjun Wu; Wenchang Shi; Hongliang Liang; Qinghua Shang; Chunyang Yuan; Bin Liang 002 (ISPEC, 2005)

A Formal Description of SECIMOS Operating System. - Zhouyi Zhou; Bin Liang 002; Li Jiang; Wenchang Shi; Yeping He (MMM-ACNS, 2005)

Operating System Mechanisms for TPM-Based Lifetime Measurement of Process Integrity. - Xiao Li; Wenchang Shi; Zhaohui Liang; Bin Liang 002; Zhiyong Shan (MASS, 2009)

Detecting stealthy malware with inter-structure and imported signatures. - Bin Liang 002; Wei You 001; Wenchang Shi; Zhaohui Liang (AsiaCCS, 2011)

On Mutual Support of Modern and Traditional Access Control Models with UCON and BLP as Case Study. - Hui Feng; Wenchang Shi; Zhaohui Liang; Bin Liang 002 (CMC, 2011)

Scriptless Timing Attacks on Web Browser Privacy. - Bin Liang 002; Wei You 001; Liangkun Liu; Wenchang Shi; Mario Heiderich (DSN, 2014)

AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction. - Jianjun Huang 001; Xiangyu Zhang 001; Lin Tan 001; Peng Wang; Bin Liang 002 (ICSE, 2014)

HDROP: Detecting ROP Attacks Using Performance Monitoring Counters. - Hongwei Zhou; Xin Wu; Wenchang Shi; Jinhui Yuan; Bin Liang 002 (ISPEC, 2014)

Efficient Sub-/Inter-Group Key Distribution for ad hoc Networks. - Bo Qin; Linxiao Wang; Yujue Wang; Qianhong Wu; Wenchang Shi; Bin Liang 002 (NSS, 2014)

Android Implicit Information Flow Demystified. - Wei You 001; Bin Liang 002; Jingzhe Li; Wenchang Shi; Xiangyu Zhang 001 (AsiaCCS, 2015)

Expanding an Operating System's Working Space with a New Mode to Support Trust Measurement. - Chenglong Wei; Wenchang Shi; Bo Qin; Bin Liang 002 (ISPEC, 2015)

AntMiner: mining more bugs by reducing noise interference. - Bin Liang 002; Pan Bian; Yan Zhang; Wenchang Shi; Wei You 001; Yan Cai 001 (ICSE, 2016)

Reference hijacking: patching, protecting and analyzing on unmodified and non-rooted android devices. - Wei You 001; Bin Liang 002; Wenchang Shi; Shuyang Zhu; Peng Wang; Sikefu Xie; Xiangyu Zhang 001 (ICSE, 2016)

Analysis of SIFT Method Based on Swarm Intelligent Algorithms for Copy-Move Forgery Detection. - Fei Zhao; Wenchang Shi; Bo Qin; Bin Liang 002 (SpaCCS, 2016)

A Copy-Move Forgery Detection Scheme with Improved Clone Region Estimation. - Fei Zhao; Wenchang Shi; Bo Qin; Bin Liang 002 (TSA, 2016)

Cracking Classifiers for Evasion: A Case Study on the Google's Phishing Pages Filter. - Bin Liang 002; Miaoqiang Su; Wei You 001; Wenchang Shi; Gang Yang 001 (WWW, 2016)

Versatile lightweight key distribution for big data privacy in vehicular ad hoc networks. - Bo Qin; Linxiao Wang; Yujue Wang; Qianhong Wu; Wenchang Shi; Bin Liang 002 (Concurr. Comput. Pract. Exp., 2016)

SemFuzz: Semantics-based Automatic Generation of Proof-of-Concept Exploits. - Wei You 001; Peiyuan Zong; Kai Chen 012; XiaoFeng Wang 001; Xiaojing Liao; Pan Bian; Bin Liang 002 (CCS, 2017)

Fine-Grained Fingerprinting Threats to Software-Defined Networks. - Minjian Zhang 001; Jianwei Hou; Ziqi Zhang; Wenchang Shi; Bo Qin; Bin Liang 002 (TrustCom/BigDataSE/ICESS, 2017)

Detecting Adversarial Examples in Deep Networks with Adaptive Noise Reduction. - Bin Liang 002; Hongcheng Li; Miaoqiang Su; Xirong Li 001; Wenchang Shi; Xiaofeng Wang 006 (CoRR, 2017)

一种基于动态插桩的JavaScript反事实执行方法 (JavaScript Counterfactual Execution Method Based on Dynamic Instrumentation). - Weigang Gong; Wei You 001; Zan Li; Wenchang Shi; Bin Liang 002 (计算机科学, 2017)

Deep Text Classification Can be Fooled. - Bin Liang 002; Hongcheng Li; Miaoqiang Su; Pan Bian; Xirong Li 001; Wenchang Shi (IJCAI, 2018)

NAR-miner: discovering negative association rules from code for bug detection. - Pan Bian; Bin Liang 002; Wenchang Shi; Jianjun Huang 001; Yan Cai 001 (ESEC/SIGSOFT FSE, 2018)

An Approach to Cloud Execution Failure Diagnosis Based on Exception Logs in OpenStack. - Yue Yuan; Wenchang Shi; Bin Liang 002; Bo Qin (CLOUD, 2019)

Towards Better Security Decisions: Applying Prospect Theory to Cybersecurity. - Leilei Qu; Cheng Wang; Ruojin Xiao; Jianwei Hou; Wenchang Shi; Bin Liang 002 (CHI Extended Abstracts, 2019)

Learning-Based Anomaly Cause Tracing with Synthetic Analysis of Logs from Multiple Cloud Service Components. - Yue Yuan; Han Anu; Wenchang Shi; Bin Liang 002; Bo Qin (COMPSAC (1), 2019)

DTGuard: A Lightweight Defence Mechanism Against a New DoS Attack on SDN. - Jianwei Hou; Ziqi Zhang; Wenchang Shi; Bo Qin; Bin Liang 002 (ICICS, 2019)

SLF: fuzzing without valid seed inputs. - Wei You 001; Xuwei Liu; Shiqing Ma; David Mitchel Perry; Xiangyu Zhang 001; Bin Liang 002 (ICSE, 2019)

An Approach to Recommendation of Verbosity Log Levels Based on Logging Intention. - Han Anu; Jie Chen; Wenchang Shi; Jianwei Hou; Bin Liang 002; Bo Qin (ICSME, 2019)

Detecting concurrency memory corruption vulnerabilities. - Yan Cai 001; Biyun Zhu; Ruijie Meng; Hao Yun; Liang He 011; Purui Su; Bin Liang 002 (ESEC/SIGSOFT FSE, 2019)

ProFuzzer: On-the-fly Input Type Probing for Better Zero-Day Vulnerability Discovery. - Wei You 001; Xueqiang Wang; Shiqing Ma; Jianjun Huang 001; Xiangyu Zhang 001; XiaoFeng Wang 001; Bin Liang 002 (IEEE Symposium on Security and Privacy, 2019)

Detecting Bugs by Discovering Expectations and Their Violations. - Pan Bian; Bin Liang 002; Yan Zhang; Chaoqun Yang; Wenchang Shi; Yan Cai 001 (IEEE Trans. Software Eng., 2019)

Experimental Comparisons of Verifiable Delay Functions. - Zihan Yang 002; Bo Qin; Qianhong Wu; Wenchang Shi; Bin Liang 002 (ICICS, 2020)

Multiple-entry testing of Android applications by constructing activity launching contexts. - Jiwei Yan; Hao Liu; Linjie Pan 001; Jun Yan 009; Jian Zhang 001; Bin Liang 002 (ICSE, 2020)

SinkFinder: harvesting hundreds of unknown interesting function pairs with just one seed. - Pan Bian; Bin Liang 002; Jianjun Huang 001; Wenchang Shi; Xidong Wang; Jian Zhang 001 (ESEC/SIGSOFT FSE, 2020)

On the fine-grained fingerprinting threat to software-defined networks. - Jianwei Hou; Minjian Zhang 001; Ziqi Zhang; Wenchang Shi; Bo Qin; Bin Liang 002 (Future Gener. Comput. Syst., 2020)

Cecoin: A decentralized PKI mitigating MitM attacks. - Bo Qin; Jikun Huang; Qin Wang 008; Xizhao Luo; Bin Liang 002; Wenchang Shi (Future Gener. Comput. Syst., 2020)

Identifying parasitic malware as outliers by code clustering. - Hongcheng Li; Jianjun Huang 001; Bin Liang 002; Wenchang Shi; Yifang Wu; Shilei Bai (J. Comput. Secur., 2020)

Do not jail my app: Detecting the Android plugin environments by time lag contradiction. - Yifang Wu; Jianjun Huang 001; Bin Liang 002; Wenchang Shi (J. Comput. Secur., 2020)

TaintMan: An ART-Compatible Dynamic Taint Analysis Framework on Unmodified and Non-Rooted Android Devices. - Wei You 001; Bin Liang 002; Wenchang Shi; Peng Wang; Xiangyu Zhang 001 (IEEE Trans. Dependable Secur. Comput., 2020)

Corrections to "Detecting Bugs by Discovering Expectations and Their Violations". - Pan Bian; Bin Liang 002; Yan Zhang; Chaoqun Yang; Wenchang Shi; Yan Cai 001 (IEEE Trans. Software Eng., 2020)

We Can Always Catch You: Detecting Adversarial Patched Objects WITH or WITHOUT Signature. - Bin Liang 002; Jiachun Li; Jianjun Huang 001 (CoRR, 2021)

Detecting the Capacitance-Based Gamepad for Protecting Mobile Game Fairness. - Shilei Bai; Bin Liang 002; Jianjun Huang 001; Wei You 001; Jiachun Li; Yaping Li; Wenchang Shi (IEEE Trans. Computers, 2021)

Detecting Adversarial Image Examples in Deep Neural Networks with Adaptive Noise Reduction. - Bin Liang 002; Hongcheng Li; Miaoqiang Su; Xirong Li 001; Wenchang Shi; Xiaofeng Wang 006 (IEEE Trans. Dependable Secur. Comput., 2021)

Hunting Vulnerable Smart Contracts via Graph Embedding Based Bytecode Matching. - Jianjun Huang 001; Songming Han; Wei You 001; Wenchang Shi; Bin Liang 002; Jingzheng Wu; Yanjun Wu (IEEE Trans. Inf. Forensics Secur., 2021)

Hunting bugs with accelerated optimal graph vertex matching. - Xiaohui Zhang; Yuanjun Gong; Bin Liang 002; Jianjun Huang 001; Wei You 001; Wenchang Shi; Jian Zhang 001 (ISSTA, 2022)

Your Behaviors Reveal What You Need: A Practical Scheme Based on User Behaviors for Personalized Security Nudges. - Leilei Qu; Ruojin Xiao; Wenchang Shi; Keman Huang; Bo Qin; Bin Liang 002 (Comput. Secur., 2022)

Precise Dynamic Symbolic Execution for Nonuniform Data Access in Smart Contracts. - Jianjun Huang 001; Jiasheng Jiang; Wei You 001; Bin Liang 002 (IEEE Trans. Computers, 2022)

A Good Fishman Knows All the Angles: A Critical Evaluation of Google's Phishing Page Classifier. - Changqing Miao; Jianan Feng; Wei You 001; Wenchang Shi; Jianjun Huang 001; Bin Liang 002 (CCS, 2023)

Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers. - Suyue Guo; Xinyu Wan; Wei You 001; Bin Liang 002; Wenchang Shi; Yiwei Zhang; Jianjun Huang 001; Jian Zhang 001 (ICSE, 2023)

Data-driven prognostics based on time-frequency analysis and symbolic recurrent neural network for fuel cells under dynamic load. - Chu Wang; Manfeng Dou 001; Zhongliang Li; Rachid Outbib; Dongdong Zhao; Jian Zuo; Yuanlin Wang; Bin Liang 002; Peng Wang (CoRR, 2023)

Scalably Detecting Third-Party Android Libraries With Two-Stage Bloom Filtering. - Jianjun Huang 001; Bo Xue; Jiasheng Jiang; Wei You 001; Bin Liang 002; Jingzheng Wu; Yanjun Wu (IEEE Trans. Software Eng., 2023)

Data-driven prognostics based on time-frequency analysis and symbolic recurrent neural network for fuel cells under dynamic load. - Chu Wang; Manfeng Dou 001; Jian-Zhong Li 001; Rachid Outbib; Dongdong Zhao; Jian Zuo; Yuanlin Wang; Bin Liang 002; Peng Wang (Reliab. Eng. Syst. Saf., 2023)

A collective attestation scheme towards cloud system. - Yuan Song; Wenchang Shi; Bo Qin; Bin Liang 002 (Clust. Comput., 2023)

Raisin: Identifying Rare Sensitive Functions for Bug Detection. - Jianjun Huang 001; Jianglei Nie; Yuanjun Gong; Wei You 001; Bin Liang 002; Pan Bian (ICSE, 2024)

Define-Use Guided Path Exploration for Better Forced Execution. - Dongnan He; Dongchen Xie; Yujie Wang; Wei You 001; Bin Liang 002; Jianjun Huang 001; Wenchang Shi; Zhuo Zhang 002; Xiangyu Zhang 001 (ISSTA, 2024)

SICode: Embedding-Based Subgraph Isomorphism Identification for Bug Detection. - Yuanjun Gong; Jianglei Nie; Wei You 001; Wenchang Shi; Jianjun Huang 001; Bin Liang 002; Jian Zhang 001 (ICPC, 2024)

Reduce Dependence for Sound Concurrency Bug Prediction. - Shihao Zhu; Yuqi Guo 002; Yan Cai 001; Bin Liang 002; Long Zhang; Rui Chen; Tingting Yu (ICSE, 2025)

Fight Fire with Fire: Combating Adversarial Patch Attacks using Pattern-randomized Defensive Patches. - Jianan Feng; Jiachun Li; Changqing Miao; Jianjun Huang 001; Wei You 001; Wenchang Shi; Bin Liang 002 (SP, 2025)

BridgeRouter: Automated Capability Upgrading of Out-Of-Bounds Write Vulnerabilities to Arbitrary Memory Write Primitives in the Linux Kernel. - Dongchen Xie; Dongnan He; Wei You 001; Jianjun Huang 001; Bin Liang 002; Shuitao Gan; Wenchang Shi (SP, 2025)