Droid Analytics: A Signature Based Analytic System to Collect, Extract, Analyze and Associate Android Malware. - Min Zheng; Mingshen Sun; John C. S. Lui (TrustCom/ISPA/IUCC, 2013)

DroidAnalytics: A Signature Based Analytic System to Collect, Extract, Analyze and Associate Android Malware - Min Zheng; Mingshen Sun; John C. S. Lui (CoRR, 2013)

Design and implementation of an Android host-based intrusion prevention system. - Mingshen Sun; Min Zheng; John C. S. Lui; Xuxian Jiang (ACSAC, 2014)

DroidRay: a security evaluation system for customized android firmwares. - Min Zheng; Mingshen Sun; John C. S. Lui (AsiaCCS, 2014)

DroidTrace: A ptrace based Android dynamic analysis system with forward execution capability. - Min Zheng; Mingshen Sun; John C. S. Lui (IWCMC, 2014)

DroidEagle: seamless detection of visually similar Android apps. - Mingshen Sun; Mengmeng Li; John C. S. Lui (WISEC, 2015)

TaintART: A Practical Multi-level Information-Flow Tracking System for Android RunTime. - Mingshen Sun; Tao Wei 002; John C. S. Lui (CCS, 2016)

Blender: Self-randomizing Address Space Layout for Android Apps. - Mingshen Sun; John C. S. Lui; Yajin Zhou (RAID, 2016)

Monet: A User-Oriented Behavior-Based Malware Variants Detection System for Android. - Mingshen Sun; Xiaolei Li; John C. S. Lui; Richard T. B. Ma; Zhenkai Liang (IEEE Trans. Inf. Forensics Secur., 2017)

Securing the Device Drivers of Your Embedded Systems: Framework and Prototype. - Zhuohua Li 001; Jincheng Wang; Mingshen Sun; John C. S. Lui (ARES, 2019)

Towards Memory Safe Enclave Programming with Rust-SGX. - Huibo Wang; Pei Wang 007; Yu Ding; Mingshen Sun; Yiming Jing; Ran Duan; Long Li; Yulong Zhang; Tao Wei 002; Zhiqiang Lin 001 (CCS, 2019)

RusTEE: Developing Memory-Safe ARM TrustZone Applications. - Shengye Wan; Mingshen Sun; Kun Sun 001; Ning Zhang 017; Xu He (ACSAC, 2020)

Building and maintaining a third-party library supply chain for productive and secure SGX enclave development. - Pei Wang; Yu Ding; Mingshen Sun; Huibo Wang; Tongxin Li; Rundong Zhou; Zhaofeng Chen; Yiming Jing (ICSE (SEIP), 2020)

Exploiting non-uniform program execution time to evade record/replay forensic analysis. - Yang Hu; Mingshen Sun; John C. S. Lui (Comput. Secur., 2020)

Memory-Safety Challenge Considered Solved? An Empirical Study with All Rust CVEs. - Hui Xu 009; Zhuangbin Chen; Mingshen Sun; Yangfan Zhou (CoRR, 2020)

Towards Memory Safe Python Enclave for Security Sensitive Computation. - Huibo Wang; Mingshen Sun; Qian Feng; Pei Wang; Tongxin Li; Yu Ding (CoRR, 2020)

MirChecker: Detecting Bugs in Rust Programs via Static Analysis. - Zhuohua Li 001; Jincheng Wang; Mingshen Sun; John C. S. Lui (CCS, 2021)

Detecting Cross-language Memory Management Issues in Rust. - Zhuohua Li 001; Jincheng Wang; Mingshen Sun; John C. S. Lui (ESORICS (3), 2022)

Zigbee's Network Rejoin Procedure for IoT Systems: Vulnerabilities and Implications. - Jincheng Wang; Zhuohua Li 001; Mingshen Sun; John C. S. Lui (RAID, 2022)

Topology-theoretic approach to address attribute linkage attacks in differential privacy. - Jincheng Wang; Zhuohua Li 001; John C. S. Lui; Mingshen Sun (Comput. Secur., 2022)

Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs. - Hui Xu 009; Zhuangbin Chen; Mingshen Sun; Yangfan Zhou; Michael R. Lyu (ACM Trans. Softw. Eng. Methodol., 2022)

IoT Anomaly Detection Via Device Interaction Graph. - Jincheng Wang; Zhuohua Li 001; Mingshen Sun; Bin Yuan; John C. S. Lui (DSN, 2023)

A Verified Confidential Computing as a Service Framework for Privacy Preservation. - Hongbo Chen; Haobin Hiroki Chen; Mingshen Sun; Kang Li; Zhaofeng Chen; XiaoFeng Wang 001 (USENIX Security Symposium, 2023)

Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics. - Haobin Hiroki Chen; Hongbo Chen; Mingshen Sun; Chenghong Wang; XiaoFeng Wang 001 (CoRR, 2025)