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)

Portal monitoring based anti-malware framework: design and implementation. - Yanjun Wu; Wenchang Shi (IPCCC, 2006)

An Approach for Compliance Validation of Trusted Computing Applications. - Qi Cui; Wenchang Shi (WKDD, 2008)

On Design of a Trusted Software Base with Support of TPCM. - Wenchang Shi (INTRUST, 2009)

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)

Network traffic monitoring, analysis and anomaly detection [Guest Editorial]. - Wei Wang 012; Xiangliang Zhang 001; Wenchang Shi; Shiguo Lian; Dengguo Feng (IEEE Netw., 2011)

Understanding and analyzing network traffic. - Wei Wang 012; Xiangliang Zhang 001; Wenchang Shi; Shiguo Lian; Dengguo Feng (IEEE Netw., 2012)

Secure One-to-Group Communications Escrow-Free ID-Based Asymmetric Group Key Agreement. - Lei Zhang 009; Qianhong Wu; Josep Domingo-Ferrer; Bo Qin; Sherman S. M. Chow; Wenchang Shi (Inscrypt, 2013)

Tracing and revoking leaked credentials: accountability in leaking sensitive outsourced data. - Hua Deng; Qianhong Wu; Bo Qin; Sherman S. M. Chow; Josep Domingo-Ferrer; Wenchang Shi (AsiaCCS, 2014)

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

Who Is Touching My Cloud. - Hua Deng; Qianhong Wu; Bo Qin; Jian Mao; Xiao Liu; Lei Zhang 009; Wenchang Shi (ESORICS (1), 2014)

Provably Secure Certificateless Authenticated Asymmetric Group Key Agreement. - Lei Zhang 009; Qianhong Wu; Bo Qin; Hua Deng; Jianwei Liu 001; Wenchang Shi (ISPEC, 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)

Ciphertext-policy hierarchical attribute-based encryption with short ciphertexts. - Hua Deng; Qianhong Wu; Bo Qin; Josep Domingo-Ferrer; Lei Zhang 009; Jianwei Liu 001; Wenchang Shi (Inf. Sci., 2014)

Asymmetric Cross-cryptosystem Re-encryption Applicable to Efficient and Secure Mobile Access to Outsourced Data. - Hua Deng; Qianhong Wu; Bo Qin; Willy Susilo; Joseph K. Liu; Wenchang Shi (AsiaCCS, 2015)

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)

BeCFI: detecting hidden control flow with performance monitoring counters. - Hongwei Zhou; Wenchang Shi; Jinhui Yuan; Fulin Li (Int. J. High Perform. Comput. Netw., 2016)

基于证据链的电子证据可信性分析 (Trustworthiness Analysis of Digital Evidences Based on Chain of Evidences). - Zhiyan Zhao; Wenchang Shi (计算机科学, 2016)

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)

Certificateless and identity-based authenticated asymmetric group key agreement. - Lei Zhang 009; Qianhong Wu; Bo Qin; Hua Deng; Jiangtao Li 003; Jianwei Liu 001; Wenchang Shi (Int. J. Inf. Sec., 2017)

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

Identity-Based Data Outsourcing With Comprehensive Auditing in Clouds. - Yujue Wang; Qianhong Wu; Bo Qin; Wenchang Shi; Robert H. Deng; Jiankun Hu (IEEE Trans. Inf. Forensics Secur., 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)

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)

Efficient Privacy-Preserving Certificateless Provable Data Possession Scheme for Cloud Storage. - Yang Ming 001; Wenchang Shi (IEEE Access, 2019)

A survey on internet of things security from data perspectives. - Jianwei Hou; Leilei Qu; Wenchang Shi (Comput. Networks, 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)

A Paid Message Forwarding Scheme Based on Social Network. - Yifu Geng; Bo Qin; Wenchang Shi; Qianhong Wu (Inscrypt, 2020)

Experimental Comparisons of Verifiable Delay Functions. - Zihan Yang 002; Bo Qin; Qianhong Wu; Wenchang Shi; Bin Liang 002 (ICICS, 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)

MVP: Detecting Vulnerabilities using Patch-Enhanced Vulnerability Signatures. - Yang Xiao 011; Bihuan Chen 001; Chendong Yu; Zhengzi Xu; Zimu Yuan; Feng Li 045; Binghong Liu; Yang Liu 003; Wei Huo; Wei Zou; Wenchang Shi (USENIX Security Symposium, 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)

A Survey on Digital Forensics in Internet of Things. - Jianwei Hou; Yuewei Li; Jingyang Yu; Wenchang Shi (IEEE Internet Things J., 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)

SoFi: Reflection-Augmented Fuzzing for JavaScript Engines. - Xiaoyu He; Xiaofei Xie; Yuekang Li; Jianwen Sun; Feng Li 045; Wei Zou; Yang Liu 003; Lei Yu; Jianhua Zhou; Wenchang Shi; Wei Huo (CCS, 2021)

Design and Evaluation of CFC-targeted Security Nudges. - Leilei Qu; Ruojin Xiao; Cheng Wang; Wenchang Shi (CHI Extended Abstracts, 2021)

SEPAL: Towards a Large-scale Analysis of SEAndroid Policy Customization. - Dongsong Yu; Guangliang Yang 001; Guozhu Meng; Xiaorui Gong; Xiu Zhang; Xiaobo Xiang; Xiaoyu Wang; Yue Jiang; Kai Chen 012; Wei Zou; Wenke Lee; Wenchang Shi (WWW, 2021)

Detecting multiphase linear ranking functions for single-path linear-constraint loops. - Yue Yuan; Yi Li; Wenchang Shi (Int. J. Softw. Tools Technol. Transf., 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)

PXCrypto: A Regulated Privacy-Preserving Cross-Chain Transaction Scheme. - Yanran Zhang; Sheng Hu; Qin Wang 008; Bo Qin; Qianhong Wu; Wenchang Shi (ICA3PP, 2022)

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)

Towards Practical Personalized Security Nudge Schemes: Investigating the Moderation Effects of Behavioral Features on Nudge Effects. - Leilei Qu; Ruojin Xiao; Wenchang Shi (SciSec, 2022)

Measurement for encrypted open resolvers: Applications and security. - Meng Luo 006; Yepeng Yao; Liling Xin; Zhengwei Jiang; Qiuyun Wang; Wenchang Shi (Comput. Networks, 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)

BDTS: A Blockchain-based Data Trading System with Fair Exchange. - Bo Qin; Qin Wang 008; Qianhong Wu; Sanxi Li; Wenchang Shi; Yingxin Bi; Wenyi Tang (CoRR, 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)

Who Are Querying For Me? Egress Measurement For Open DNS Resolvers. - Meng Luo 006; Liling Xin; Yepeng Yao; Zhengwei Jiang; Qiuyun Wang; Wenchang Shi (CSCWD, 2023)

Subsidy Bridge: Rewarding Cross-Blockchain Relayers with Subsidy. - Yifu Geng; Bo Qin; Qin Wang 008; Wenchang Shi; Qianhong Wu (ICICS, 2023)

BDTS: Blockchain-Based Data Trading System. - Erya Jiang; Bo Qin; Qin Wang 008; Qianhong Wu; Sanxi Li; Wenchang Shi; Yingxin Bi; Wenyi Tang (ICICS, 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)

Interactions of Framing and Timing in Nudging Online Game Security. - Leilei Qu; Ruojin Xiao; Wenchang Shi (Comput. Secur., 2023)

A Scalable Cross-Chain Access Control and Identity Authentication Scheme. - Yuhang Ding; Yanran Zhang; Bo Qin; Qin Wang 008; Zihan Yang 002; Wenchang Shi (Sensors, 2023)

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

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)

A Solution toward Transparent and Practical AI Regulation: Privacy Nutrition Labels for Open-source Generative AI-based Applications. - Meixue Si; Shidong Pan; Dianshu Liao; Xiaoyu Sun 002; Zhen Tao; Wenchang Shi; Zhenchang Xing (CoRR, 2024)

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)