
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
-
Security
-
Privacy
-
Cryptographic Protocols
-
Blockchain and Smart Contract
Works
Search Professor Naipeng Dong’s works on UQ eSpace
Featured
2022
Journal Article
A uniform framework for anomaly detection in deep neural networks
Zhao, Fangzhen, Zhang, Chenyi, Dong, Naipeng, You, Zefeng and Wu, Zhenxin (2022). A uniform framework for anomaly detection in deep neural networks. Neural Processing Letters, 54 (4), 3467-3488. doi: 10.1007/s11063-022-10776-y
Featured
2020
Journal Article
A blockchain-based decentralized booking system
Dong, Naipeng, Bai, Guangdong, Huang, Lung-Chen, Lim, Edmund Kok Heng and Dong, Jin Song (2020). A blockchain-based decentralized booking system. Knowledge Engineering Review, 35 e17, e17. doi: 10.1017/s0269888920000260
Featured
2018
Conference Publication
Verification of strong nash-equilibrium for probabilistic BAR systems
Fernando, Dileepa, Dong, Naipeng, Jegourel, Cyrille and Dong, Jin Song (2018). Verification of strong nash-equilibrium for probabilistic BAR systems. International Conference on Formal Engineering Methods ICFEM 2018: Formal Methods and Software Engineering, Gold Coast, QLD Australia, 12-16 November 2018. Heidelberg, Germany: Springer. doi: 10.1007/978-3-030-02450-5_7
Featured
2018
Conference Publication
The foul adversary: Formal models
Dong, Naipeng and Muller, Tim (2018). The foul adversary: Formal models. International Conference on Formal Engineering Methods ICFEM 2018: Formal Methods and Software Engineering, Gold Coast, QLD Australia, 12-16 November 2018. Heidelberg, Germany: Springer. doi: 10.1007/978-3-030-02450-5_3
Featured
2018
Conference Publication
Formal Analysis of a Proof-of-Stake Blockchain
Thin, Wai Yan Maung Maung, Dong, Naipeng, Bai, Guangdong and Dong, Jin Song (2018). Formal Analysis of a Proof-of-Stake Blockchain. 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Melbourne, VIC Australia, 12-14 December 2018. Piscataway, NJ United States: IEEE. doi: 10.1109/iceccs2018.2018.00031
Featured
2017
Journal Article
Formal modelling and analysis of receipt-free auction protocols in applied pi
Dong, Naipeng, Jonker, Hugo and Pang, Jun (2017). Formal modelling and analysis of receipt-free auction protocols in applied pi. Computers and Security, 65, 405-432. doi: 10.1016/j.cose.2016.09.002
Featured
2017
Conference Publication
A verification framework for stateful security protocols
Li, Li, Dong, Naipeng, Pang, Jun, Sun, Jun, Bai, Guangdong, Liu, Yang and Dong, Jin Song (2017). A verification framework for stateful security protocols. 19th International Conference on Formal Engineering Methods (ICFEM), Xian, Peoples Republic of China, 13-17 November 2017. Cham, Switzerland: Springer International Publishing. doi: 10.1007/978-3-319-68690-5_16
Featured
2016
Conference Publication
Verification of Nash-equilibrium for probabilistic BAR systems
Dileepa, Fernando, Dong, Naipeng, Jegourel, Cyrille and Dong, Jin Song (2016). Verification of Nash-equilibrium for probabilistic BAR systems. 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.016
Featured
2013
Conference Publication
Enforcing privacy in the presence of others: Notions, formalisations and relations
Dong, Naipeng, Jonker, Hugo and Pang, Jun (2013). Enforcing privacy in the presence of others: Notions, formalisations and relations. European Symposium on Research in Computer Security ESORICS 2013: Computer Security, Egham, United Kingdom, 9-13 September 2013. Heidelberg, Germany: Springer . doi: 10.1007/978-3-642-40203-6_28
Featured
2012
Conference Publication
Formal analysis of privacy in an eHealth protocol
Dong, Naipeng, Jonker, Hugo and Pang, Jun (2012). Formal analysis of privacy in an eHealth protocol. 17th European Symposium on Research in Computer Security, Pisa, Italy, 10-12 September 2012. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-33167-1_19
Featured
2012
Conference Publication
Challenges in eHealth: From enabling to enforcing privacy
Dong, Naipeng, Jonker, Hugo and Pang, Jun (2012). Challenges in eHealth: From enabling to enforcing privacy. FHIES 2011: International Symposium on Foundations of Health Informatics Engineering and Systems, Johannesburg, South Africa, 29-30 August 2011. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-32355-3_12
Featured
2011
Conference Publication
Analysis of a receipt-free auction protocol in the applied Pi calculus
Dong, Naipeng, Jonker, Hugo and Pang, Jun (2011). Analysis of a receipt-free auction protocol in the applied Pi calculus. Formal Aspects of Security and Trust 7th International Workshop, FAST 2010, Pisa, Italy, 16-17 September 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. doi: 10.1007/978-3-642-19751-2_15
Featured
2011
Conference Publication
Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus
Dong, Naipeng, Jonker, Hugo and Pang, Jun (2011). Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus. 7th International Workshop on Formal Aspects of Security and Trust, Pisa, Italy, 16-17 September 2010. Berlin, Germany: Springer.
2025
Journal Article
A container security survey: exploits, attacks, and defenses
Jarkas, Omar, Ko, Ryan, Dong, Naipeng and Mahmud, Redowan (2025). A container security survey: exploits, attacks, and defenses. ACM Computing Surveys, 57 (7) 170, 1-36. doi: 10.1145/3715001
2025
Journal Article
Uncovering API-scope misalignment in the app-in-app ecosystem
Che, Jiarui, Guo, Chenkai, Dong, Naipeng, Pei, Jiaqi, Fan, Lingling, Mi, Xun, Xie, Xueshuo, Luo, Xiangyang, Liu, Zheli and Cheng, Renhong (2025). Uncovering API-scope misalignment in the app-in-app ecosystem. Proceedings of the ACM on Software Engineering, 2 (ISSTA), 1933-1954. doi: 10.1145/3728962
2025
Conference Publication
Intelligent data refinement and analysis of real-world cyber attacks on SCADA systems
Zhang, Wenlu, Dong, Naipeng, Choi, Taejun, Bai, Guangdong and Ko, Ryan K. L. (2025). Intelligent data refinement and analysis of real-world cyber attacks on SCADA systems. E-Energy '25: The 16th ACM International Conference on Future and Sustainable Energy Systems, Rotterdam, Netherlands, 17-20 June 2025. New York, NY USA: Association for Computing Machinery. doi: 10.1145/3679240.3734654
2025
Journal Article
Fratricide! Hijacking in android multi-window
Guo, Chenkai, Wang, Tianhong, Wang, Qianlu, Dong, Naipeng, Luo, Xiangyang and Liu, Zheli (2025). Fratricide! Hijacking in android multi-window. IEEE Transactions on Dependable and Secure Computing, 22 (3), 3075-3092. doi: 10.1109/tdsc.2024.3524755
2025
Conference Publication
EP-Detector: Automatic Detection of Error-Prone Operation Anomalies in Android Applications
Guo, Chenkai, Wang, Qianlu, Dong, Naipeng, Fan, Lingling, Wang, Tianhong, Zhang, Weijie, Chen, Enbao, Liu, Zheli and Yu, Lu (2025). EP-Detector: Automatic Detection of Error-Prone Operation Anomalies in Android Applications. IEEE. doi: 10.1109/icse55347.2025.00029
2025
Book Chapter
Incentivising Decentralisation with Harberger Tax
Song, Hans, Dong, Naipeng and Bai, Guangdong (2025). Incentivising Decentralisation with Harberger Tax. Communications in Computer and Information Science. (pp. 85-102) Singapore: Springer Nature Singapore. doi: 10.1007/978-981-96-4442-1_6
2025
Conference Publication
PQS-BC: comparative analysis of NIST post-quantum signatures for blockchain
Wong, Wan Kai, Dong, Naipeng and Dinh, Cong Minh (2025). PQS-BC: comparative analysis of NIST post-quantum signatures for blockchain. 18th International Conference, NSS 2024, Abu Dhabi, United Arab Emirates, 20-22 November 2024. Singapore: Springer. doi: 10.1007/978-981-96-3531-3_17
Funding
Current funding
Past funding
Supervision
Availability
- Dr Naipeng Dong is:
- Available for supervision
Before you email them, read our advice on how to contact a supervisor.
Supervision history
Current supervision
-
Doctor Philosophy
Privacy Compliance in Software Ecosystems
Principal Advisor
Other advisors: Dr Guowei Yang
-
Master Philosophy
Privacy Compliance in Software Ecosystems
Principal Advisor
-
Doctor Philosophy
Analysis of Machine Learning Systems
Principal Advisor
-
-
Doctor Philosophy
Enhancing VR Testing by Leveraging Large Language Models: Developing an Adaptive, Automated Framework for GUI Verification
Principal Advisor
-
Doctor Philosophy
Robustness Verification of Neural Network
Associate Advisor
-
Doctor Philosophy
Adversarial Cyber-Attacks and Defences for In-Vehicle Networks
Associate Advisor
Other advisors: Associate Professor Dan Kim
-
Doctor Philosophy
Automated Testing of Deep Learning Systems
Associate Advisor
Other advisors: Associate Professor Dan Kim, Dr Guowei Yang
-
Doctor Philosophy
A Trustworthy Compiler for Ethereum Smart Contracts
Associate Advisor
Other advisors: Associate Professor Mark Utting
-
Doctor Philosophy
Distributed data collection infrastructure for IT and OT networks for automated early warning detection
Associate Advisor
Other advisors: Professor Ryan Ko
-
Doctor Philosophy
Virtualized Root of Trust in Cloud Computing
Associate Advisor
Other advisors: Professor Ryan Ko
-
Doctor Philosophy
IoT security analytics
Associate Advisor
Completed supervision
-
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: