| 2025 | ADMA | A Large-Scale Analysis of Privacy Labels in Child-Accessible Mobile Applications. | Fengqi Yu, Fuman Xie, Naipeng Dong, Guangdong Bai |
| 2025 | ICECCS | Model Checking Nondeterministic Behaviours in the Tendermint Byzantine Fault Tolerant Blockchain Consensus Protocol. | Yisong Yu, Zhe Hou, Naipeng Dong, Jin Song Dong |
| 2025 | ICSE | EP-Detector: Automatic Detection of Error-Prone Operation Anomalies in Android Applications. | Chenkai Guo, Qianlu Wang, Naipeng Dong, Lingling Fan, Tianhong Wang, Weijie Zhang, Enbao Chen, Zheli Liu, Lu Yu |
| 2025 | ISSRE | XAMT: Cross-Framework API Matching for Testing Deep Learning Libraries. | Bin Duan, Ruican Dong, Naipeng Dong, Dan Dongseong Kim, Guowei Yang |
| 2024 | ICECCS | Formal Verification Techniques for Post-quantum Cryptography: A Systematic Review. | Yuexi Xu, Zhenyuan Li, Naipeng Dong, Veronika Kuchta, Zhe Hou, Dongxi Liu |
| 2024 | ICFEM | Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase. | Yisong Yu, Naipeng Dong, Zhe Hou, Jin Song Dong |
| 2024 | NSS | PQS-BC: Comparative Analysis of NIST Post-quantum Signatures for Blockchain. | Wan Kai Wong, Naipeng Dong, Cong Minh Dinh |
| 2023 | ICECCS | Quantitative Explainable AI For Face Recognition. | Shu Peng, Naipeng Dong, Guangdong Bai |
| 2022 | ISSRE | DALT: Deep Activity Launching Test via Intent-Constraint Extraction. | Ao Liu, Chenkai Guo, Naipeng Dong, Yinjie Wang, Jing Xu |
| 2020 | TrustCom | 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 |
| 2019 | COMPSAC | AutoPer: Automatic Recommender for Runtime-Permission in Android Applications. | Hongcan Gao, Chenkai Guo, Yanfeng Wu, Naipeng Dong, Xiaolei Hou, Sihan Xu, Jing Xu |
| 2019 | ICWS | Deep Attentive Factorization Machine for App Recommendation Service. | Chenkai Guo, Yifan Xu, Xiaolei Hou, Naipeng Dong, Jing Xu, Quanqi Ye |
| 2018 | COMPSAC | A Projection-Based Approach for Memory Leak Detection. | Xiaohui Sun, Sihan Xu, Chenkai Guo, Jing Xu, Naipeng Dong, Xiujuan Ji, Sen Zhang |
| 2018 | ICECCS | Formal Analysis of a Proof-of-Stake Blockchain. | Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong |
| 2018 | ICFEM | The Foul Adversary: Formal Models. | Naipeng Dong, Tim Muller |
| 2018 | ICFEM | Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. | Dileepa Fernando, Naipeng Dong, Cyrille Jgourel, Jin Song Dong |
| 2017 | ICFEM | A Verification Framework for Stateful Security Protocols. | Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong |
| 2017 | ICSE | App genome: callback sequencing in Android. | Chenkai Guo, Naipeng Dong, Guangdong Bai, Quanqi Ye, Jin Song Dong, Jing Xu, Guannan Si |
| 2017 | SecureComm | A Framework for Formal Analysis of Privacy on SSO Protocols. | Kailong Wang, Guangdong Bai, Naipeng Dong, Jin Song Dong |
| 2017 | SecureComm | Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols. | Quanqi Ye, Guangdong Bai, Naipeng Dong, Jin Song Dong |
| 2016 | ICECCS | Verification of Nash-Equilibrium for Probabilistic BAR Systems. | Dileepa Fernando, Naipeng Dong, Cyrille Jgourel, Jin Song Dong |
| 2016 | ICECCS | Automatic Construction of Callback Model for Android Application. | Chenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu |
| 2013 | ESORICS | Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations. | Naipeng Dong, Hugo Jonker, Jun Pang |
| 2012 | ESORICS | Formal Analysis of Privacy in an eHealth Protocol. | Naipeng Dong, Hugo Jonker, Jun Pang |