Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus. - Naipeng Dong; Hugo L. Jonker; Jun Pang 001 (Formal Aspects in Security and Trust, 2010)

Challenges in eHealth: From Enabling to Enforcing Privacy. - Naipeng Dong; Hugo Jonker; Jun Pang 001 (FHIES, 2011)

Formal Analysis of Privacy in an eHealth Protocol. - Naipeng Dong; Hugo Jonker; Jun Pang 001 (ESORICS, 2012)

Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations. - Naipeng Dong; Hugo Jonker; Jun Pang 001 (ESORICS, 2013)

Verification of Nash-Equilibrium for Probabilistic BAR Systems. - Dileepa Fernando; Naipeng Dong; Cyrille Jégourel; Jin Song Dong (ICECCS, 2016)

Automatic Construction of Callback Model for Android Application. - Chenkai Guo; Quanqi Ye; Naipeng Dong; Guangdong Bai; Jin Song Dong; Jing Xu 008 (ICECCS, 2016)

A Verification Framework for Stateful Security Protocols. - Li Li 044; Naipeng Dong; Jun Pang 001; Jun Sun 001; Guangdong Bai; Yang Liu 003; Jin Song Dong (ICFEM, 2017)

App genome: callback sequencing in Android. - Chenkai Guo; Naipeng Dong; Guangdong Bai; Quanqi Ye; Jin Song Dong; Jing Xu 008; Guannan Si (ICSE (Companion Volume), 2017)

A Framework for Formal Analysis of Privacy on SSO Protocols. - Kailong Wang 001; Guangdong Bai; Naipeng Dong; Jin Song Dong (SecureComm, 2017)

Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols. - Quanqi Ye; Guangdong Bai; Naipeng Dong; Jin Song Dong (SecureComm, 2017)

Formal modelling and analysis of receipt-free auction protocols in applied pi. - Naipeng Dong; Hugo L. Jonker; Jun Pang 001 (Comput. Secur., 2017)

A Projection-Based Approach for Memory Leak Detection. - Xiaohui Sun; Sihan Xu; Chenkai Guo; Jing Xu 008; Naipeng Dong; Xiujuan Ji; Sen Zhang (COMPSAC (2), 2018)

Formal Analysis of a Proof-of-Stake Blockchain. - Wai Yan Maung Maung Thin; Naipeng Dong; Guangdong Bai; Jin Song Dong (ICECCS, 2018)

The Foul Adversary: Formal Models. - Naipeng Dong; Tim Muller (ICFEM, 2018)

Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. - Dileepa Fernando; Naipeng Dong; Cyrille Jégourel; Jin Song Dong (ICFEM, 2018)

Formal Analysis of an E-Health Protocol. - Naipeng Dong; Hugo Jonker; Jun Pang 001 (CoRR, 2018)

AutoPer: Automatic Recommender for Runtime-Permission in Android Applications. - Hongcan Gao; Chenkai Guo; Yanfeng Wu; Naipeng Dong; Xiaolei Hou; Sihan Xu; Jing Xu 008 (COMPSAC (1), 2019)

Deep Attentive Factorization Machine for App Recommendation Service. - Chenkai Guo; Yifan Xu; Xiaolei Hou; Naipeng Dong; Jing Xu 008; Quanqi Ye (ICWS, 2019)

LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking. - Quanqi Ye; Yan Zhang; Guangdong Bai; Naipeng Dong; Zhenkai Liang; Jin Song Dong; Haoyu Wang 001 (ISC, 2019)

Deep Review Sharing. - Chenkai Guo; Dengrong Huang; Naipeng Dong; Quanqi Ye; Jing Xu 008; Yaqing Fan; Hui Yang; Yifan Xu (SANER, 2019)

Systematic Comprehension for Developer Reply in Mobile System Forum. - Chenkai Guo; Weijing Wang; Yanfeng Wu; Naipeng Dong; Quanqi Ye; Jing Xu 008; Sen Zhang (SANER, 2019)

An Analytics Framework for Heuristic Inference Attacks against Industrial Control Systems. - Taejun Choi; Guangdong Bai; Ryan K. L. Ko; Naipeng Dong; Wenlu Zhang; Shunyao Wang (TrustCom, 2020)

Review Sharing via Deep Semi-Supervised Code Clone Detection. - Chenkai Guo; Hui Yang; Dengrong Huang; Jianwen Zhang; Naipeng Dong; Jing Xu 008; Jingwen Zhu (IEEE Access, 2020)

Early prediction for mode anomaly in generative adversarial network training: An empirical study. - Chenkai Guo; Dengrong Huang; Jianwen Zhang; Jing Xu 008; Guangdong Bai; Naipeng Dong (Inf. Sci., 2020)

A blockchain-based decentralized booking system. - Naipeng Dong; Guangdong Bai; Lung-Chen Huang; Edmund Kok Heng Lim; Jin Song Dong (Knowl. Eng. Rev., 2020)

SDGen: A Scalable, Reproducible and Flexible Approach to Generate Real World Cyber Security Datasets. - Abigail M. Y. Koay; Miao Xie; Ryan K. L. Ko; Charles Sterner; Taejun Choi; Naipeng Dong (UbiSec, 2021)

Callback2Vec: Callback-aware hierarchical embedding for mobile application. - Chenkai Guo; Dengrong Huang; Naipeng Dong; Jianwen Zhang; Jing Xu 008 (Inf. Sci., 2021)

DALT: Deep Activity Launching Test via Intent-Constraint Extraction. - Ao Liu 007; Chenkai Guo; Naipeng Dong; Yinjie Wang; Jing Xu 008 (ISSRE, 2022)

A Uniform Framework for Anomaly Detection in Deep Neural Networks. - Fangzhen Zhao; Chenyi Zhang 001; Naipeng Dong; Zefeng You; Zhenxin Wu (Neural Process. Lett., 2022)

Quantitative Explainable AI For Face Recognition. - Shu Peng; Naipeng Dong; Guangdong Bai (ICECCS, 2023)

QoS-Aware Diversified Service Selection. - Chenkai Guo; Weijie Zhang; Naipeng Dong; Zheli Liu; Yang Xiang 001 (IEEE Trans. Serv. Comput., 2023)

Adversarial Detection from Derived Models. - Fangzhen Zhao; Chenyi Zhang 001; Naipeng Dong; Ming Li (Int. J. Pattern Recognit. Artif. Intell., 2023)

Formal Verification Techniques for Post-quantum Cryptography: A Systematic Review. - Yuexi Xu; Zhenyuan Li; Naipeng Dong; Veronika Kuchta; Zhe Hou; Dongxi Liu (ICECCS, 2024)

Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase. - Yisong Yu; Naipeng Dong; Zhe Hou; Jin Song Dong (ICFEM, 2024)

PQS-BC: Comparative Analysis of NIST Post-quantum Signatures for Blockchain. - Wan Kai Wong; Naipeng Dong; Cong Minh Dinh (NSS, 2024)

Evasion Attack and Defense on Machine Learning Models in Cyber-Physical Systems: A Survey. - Shunyao Wang; Ryan K. L. Ko; Guangdong Bai; Naipeng Dong; Taejun Choi; Yanjun Zhang (IEEE Commun. Surv. Tutorials, 2024)

Intelligent Data Refinement and Analysis of Real-World Cyber Attacks on SCADA Systems. - Wenlu Zhang; Naipeng Dong; Taejun Choi; Guangdong Bai; Ryan K. L. Ko (e-Energy, 2025)

EP-Detector: Automatic Detection of Error-Prone Operation Anomalies in Android Applications. - Chenkai Guo; Qianlu Wang; Naipeng Dong; Lingling Fan 003; Tianhong Wang 010; Weijie Zhang; Enbao Chen; Zheli Liu; Lu Yu (ICSE, 2025)

Uncovering API-Scope Misalignment in the App-in-App Ecosystem. - Jiarui Che; Chenkai Guo; Naipeng Dong; Jiaqi Pei; Lingling Fan 003; Xun Mi; Xueshuo Xie; Xiangyang Luo; Zheli Liu; Renhong Cheng (Proc. ACM Softw. Eng., 2025)

Fratricide! Hijacking in Android Multi-Window. - Chenkai Guo; Tianhong Wang 010; Qianlu Wang; Naipeng Dong; Xiangyang Luo; Zheli Liu (IEEE Trans. Dependable Secur. Comput., 2025)

Anomaly Detection Based on Critical Paths for Deep Neural Networks. - Fangzhen Zhao; Chenyi Zhang 001; Naipeng Dong; Ming Li; Jinxiao Shan (CoRR, 2025)

Harnessing LLMs for Document-Guided Fuzzing of OpenCV Library. - Bin Duan; Tarek Mahmud; Meiru Che; Yan Yan 002; Naipeng Dong; Dan Dongseong Kim; Guowei Yang 001 (CoRR, 2025)

A Container Security Survey: Exploits, Attacks, and Defenses. - Omar Jarkas; Ryan Kok Leong Ko; Naipeng Dong; Md. Redowan Mahmud (ACM Comput. Surv., 2025)