Overview
Background
Dr. Naipeng Dong is an expert in automatic formal verification of security and privacy in cryptographic protocols, Android applications and blockchain systems.
She has developed efficient automatic formal verification techniques with a focus on attacker reasoning and analysis on cryptogrpahic protocols, developed algorithms to verify fault-tolerance of systems with dishonest participants, and analysed systems in e-auction, e-health, Single-Sign-on authentication, and blockchain consensus.
Availability
- Dr Naipeng Dong is:
- Available for supervision
- Media expert
Fields of research
Qualifications
- Doctor of Philosophy, Université du Luxembourg
Research interests
-
Formal Verification
I develop rigorous verification methods to ensure the correctness and trustworthiness of complex software and system behaviours.
-
Security and Privacy
My work focuses on identifying, analysing, and mitigating security and privacy vulnerabilities in modern software ecosystems such as AI, Blockchain, Android, Authentication, e-Health.
-
Quantum Safety
I investigate post-quantum security mechanisms and assurance techniques to safeguard systems against emerging quantum-enabled threats.
-
Cryptographic Protocols
I analyse and design secure cryptographic protocols with a focus on reliability, robustness, and compliance in real-world deployments.
-
Blockchain and Smart Contract
I study the security, correctness, and privacy properties of blockchain systems and smart contracts to enable trustworthy decentralised applications.
Works
Search Professor Naipeng Dong’s works on UQ eSpace
2021
Journal Article
Callback2Vec: Callback-aware hierarchical embedding for mobile application
Guo, Chenkai, Huang, Dengrong, Dong, Naipeng, Zhang, Jianwen and Xu, Jing (2021). Callback2Vec: Callback-aware hierarchical embedding for mobile application. Information Sciences, 542, 131-155. doi: 10.1016/j.ins.2020.06.058
2020
Journal Article
Early prediction for mode anomaly in generative adversarial network training: an empirical study
Guo, Chenkai, Huang, Dengrong, Zhang, Jianwen, Xu, Jing, Bai, Guangdong and Dong, Naipeng (2020). Early prediction for mode anomaly in generative adversarial network training: an empirical study. Information Sciences, 534, 117-138. doi: 10.1016/j.ins.2020.05.046
2020
Journal Article
Review sharing via deep semi-supervised code clone detection
Guo, Chenkai, Yang, Hui, Huang, Dengrong, Zhang, Jianwen, Dong, Naipeng, Xu, Jing and Zhu, Jingwen (2020). Review sharing via deep semi-supervised code clone detection. IEEE Access, 8 8959206, 24948-24965. doi: 10.1109/access.2020.2966532
2019
Conference Publication
Deep Review Sharing
Guo, Chenkai, Huang, Dengrong, Dong, Naipeng, Ye, Quanqi, Xu, Jing, Fan, Yaqing, Yang, Hui and Xu, Yifan (2019). Deep Review Sharing. 26th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Hangzhou, China, 24-27 February 2019. Piscataway, NJ United States: IEEE. doi: 10.1109/saner.2019.8668037
2019
Conference Publication
Systematic comprehension for developer reply in mobile system forum
Guo, Chenkai, Wang, Weijing, Wu, Yanfeng, Dong, Naipeng, Ye, Quanqi, Xu, Jing and Zhang, Sen (2019). Systematic comprehension for developer reply in mobile system forum. 26th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Hangzhou, Peoples Republic of China, 24-27 February 2019. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/SANER.2019.8668016
2019
Conference Publication
AutoPer: automatic recommender for runtime-permission in Android applications
Gao, Hongcan, Guo, Chenkai, Wu, Yanfeng, Dong, Naipeng, Hou, Xiaolei, Xu, Sihan and Xu, Jing (2019). AutoPer: automatic recommender for runtime-permission in Android applications. 43rd IEEE-Computer-Society Annual International Computers, Software and Applications Conference (COMPSAC), Milwaukee, WI USA, 15-19 July 2019. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/compsac.2019.00024
2019
Conference Publication
Deep attentive factorization machine for app recommendation service
Guo, Chenkai, Xu, Yifan, Hou, Xiaolei, Dong, Naipeng, Xu, Jing and Ye, Quanqi (2019). Deep attentive factorization machine for app recommendation service. IEEE International Conference on Web Services (IEEE ICWS) part of the IEEE World Congress on Services, Milano, Italy, 8-13 July 2019. New York, NY USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/icws.2019.00032
2019
Conference Publication
LightSense: a novel side channel for zero-permission mobile user tracking
Ye, Quanqi, Zhang, Yan, Bai, Guangdong, Dong, Naipeng, Liang, Zhenkai, Dong, Jin Song and Wang, Haoyu (2019). LightSense: a novel side channel for zero-permission mobile user tracking. 22nd International Conference, ISC, New York, NY, United States, 16-18 September 2019. Cham, Switzerland: Springer. doi: 10.1007/978-3-030-30215-3_15
2018
Conference Publication
A projection-based approach for memory leak detection
Sun, Xiaohui, Xu, Sihan, Guo, Chenkai, Xu, Jing, Dong, Naipeng, Ji, Xiujuan and Zhang, Sen (2018). A projection-based approach for memory leak detection. 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), Tokyo, Japan, 23-27 July 2018. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/compsac.2018.10271
2018
Conference Publication
A Framework for Formal Analysis of Privacy on SSO Protocols
Wang, Kailong, Bai, Guangdong, Dong, Naipeng and Dong, Jin Song (2018). A Framework for Formal Analysis of Privacy on SSO Protocols. 13th EAI International Conference on Security and Privacy in Communication Networks (SecureComm), Niagara Falls Canada, 22-25 October 2017. Cham, Switzerland: Springer. doi: 10.1007/978-3-319-78813-5_41
2018
Conference Publication
Inferring implicit assumptions and correct usage of mobile payment protocols
Ye, Quanqi, Bai, Guangdong, Dong, Naipeng and Dong, Jin Song (2018). Inferring implicit assumptions and correct usage of mobile payment protocols. 13th EAI International Conference on Security and Privacy in Communication Networks (SecureComm), Niagara Falls, Canada, 22-25 October 2017. Heidelberg, Germany: Springer. doi: 10.1007/978-3-319-78813-5_24
2017
Conference Publication
App genome: callback sequencing in Android
Guo, Chenkai, Dong, Naipeng, Bai, Guangdong, Ye, Quanqi, Dong, Jinsong, Xu, Jing and Si, Guannan (2017). App genome: callback sequencing in Android. IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), Buenos Aires, Argentina, 20-28 May 2017. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/icse-c.2017.82
2016
Conference Publication
Automatic construction of callback model for android application
Guo, Chenkai, Ye, Quanqi, Dong, Naipeng, Bai, Guangdong, Dong, Jin Song and Xu, Jing (2016). Automatic construction of callback model for android application. 21st International Conference on Engineering of Complex Computer Systems (ICECCS), Dubai, United Arab Emirates, 6-8 November 2016. Los Alamitos, CA, United States: IEEE Computer Society. doi: 10.1109/ICECCS.2016.041
Funding
Current funding
Past funding
Supervision
Availability
- Dr Naipeng Dong is:
- Available for supervision
Looking for a supervisor? Read our advice on how to choose a supervisor.
Supervision history
Current supervision
-
Master Philosophy
Privacy Compliance in Software Ecosystems
Principal Advisor
Other advisors: Dr Miao Xu
-
Doctor Philosophy
Privacy Compliance in Software Ecosystems
Principal Advisor
Other advisors: Dr Guowei Yang
-
-
-
Doctor Philosophy
Enhancing VR Testing by Leveraging Large Language Models: Developing an Adaptive, Automated Framework for GUI Verification
Principal Advisor
-
Doctor Philosophy
Privacy attacks and defences in cross-cyber physical domains
Principal Advisor
-
Doctor Philosophy
Multimodal Membership Inference: A Causal Perspective
Principal Advisor
-
Doctor Philosophy
Adversarial Cyber-Attacks and Defences for In-Vehicle Networks
Associate Advisor
Other advisors: Associate Professor Dan Kim
-
Doctor Philosophy
Robustness Verification of Neural Network
Associate Advisor
-
Doctor Philosophy
A Trustworthy Compiler for Ethereum Smart Contracts
Associate Advisor
Other advisors: Associate Professor Mark Utting
-
Doctor Philosophy
Virtualized Root of Trust in Cloud Computing
Associate Advisor
Other advisors: Professor Ryan Ko
-
Doctor Philosophy
Measuring and Enhancing Honeypot Interactivity to Derive Attack Strategy Insights for Industry Control Systems Security
Associate Advisor
Other advisors: Professor Ryan Ko
-
Doctor Philosophy
Automated Testing of Deep Learning Systems
Associate Advisor
Other advisors: Associate Professor Dan Kim, Dr Guowei Yang
-
Doctor Philosophy
A comprehensive framework for automated cybersecurity assessment, mitigation, and education using graphical security models
Associate Advisor
Other advisors: Associate Professor Dan Kim
Completed supervision
-
2025
Doctor Philosophy
A Multi-Perspective Security Analysis of Multi-Party Collaboration Platforms
Associate Advisor
Other advisors: Professor Helen Huang
-
2025
Doctor Philosophy
Evaluating and Enhancing the Resilience of Regression-Based Anomaly Detectors Against Gradient-Free Evasion Attacks in Industrial Control Systems
Associate Advisor
Other advisors: Professor Ryan Ko
Media
Enquiries
Contact Dr Naipeng Dong directly for media enquiries about:
- Blockchain
- Formal Verification
- Security and privacy
Need help?
For help with finding experts, story ideas and media enquiries, contact our Media team: