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
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. 47th International Conference on Software Engineering-ICSE, Ottawa Canada, Apr 27-May 03, 2025. LOS ALAMITOS: IEEE. doi: 10.1109/icse55347.2025.00029
2025
Conference Publication
Incentivising decentralisation with harberger tax
Song, Hans, Dong, Naipeng and Bai, Guangdong (2025). Incentivising decentralisation with harberger tax. 8th International Symposium on Distributed Ledger Technology (SDLT 2024), Brisbane, Qld, Australia, 28-29 November 2024. Singapore: Springer. 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
2025
Conference Publication
Blockchain based electrical vehicle charging platform
Zhu, Chensheng, Dong, Naipeng and Bai, Guangdong (2025). Blockchain based electrical vehicle charging platform. 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, 28–29 November 2024. Heidelberg, Germany: Springer. doi: 10.1007/978-981-96-4442-1_7
2024
Conference Publication
Formal verification techniques for post-quantum cryptography: a systematic review
Xu, Yuexi, Li, Zhenyuan, Dong, Naipeng, Kuchta, Veronika, Hou, Zhe and Liu, Dongxi (2024). Formal verification techniques for post-quantum cryptography: a systematic review. 28th International Conference, ICECCS 2024, Limassol, Cyprus, 19-21 June 2024. Cham, Switzerland: Springer Nature Switzerland. doi: 10.1007/978-3-031-66456-4_19
2024
Conference Publication
The Benefits of Non-Fungible Token (NFT) Technology in Music Copyright
Dong, Jie, Dong, Naipeng and Bai, Guangdong (2024). The Benefits of Non-Fungible Token (NFT) Technology in Music Copyright. 7th International Symposium on Distributed Ledger Technology SDLT 2023, Brisbane, QLD Australia, 30 November – 1 December 2023. Singapore: Springer. doi: 10.1007/978-981-97-0006-6_7
2024
Conference Publication
Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase
Yu, Yisong, Dong, Naipeng, Hou, Zhe and Song Dong, Jin (2024). Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase. 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, 2 - 6 December 2024. Singapore, Singapore: Springer Nature Singapore. doi: 10.1007/978-981-96-0617-7_22
2024
Conference Publication
EVM-Vale: formal verification of EVM bytecode using vale
Cumming, Daniel, Utting, Mark, Cassez, Franck, Dong, Naipeng, Bayat Tork, Sadra and Risius, Marten (2024). EVM-Vale: formal verification of EVM bytecode using vale. 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, 30 November - 1 December 2023. Heidelberg, Germany: Springer. doi: 10.1007/978-981-97-0006-6_3
2024
Book
Distributed Ledger Technology: 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 – December 1, 2023, Revised Selected Papers
Naipeng Dong, Babu Pillai, Guangdong Bai and Mark Utting eds. (2024). Distributed Ledger Technology: 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 – December 1, 2023, Revised Selected Papers. Communications in Computer and Information Science, Heidelberg, Germany: Springer. doi: 10.1007/978-981-97-0006-6
2024
Book Chapter
VeraciTIX: an NFT-based event ticketing system
Ward, Ryan, Jo, Komei, Dong, Naipeng, Owens, Bill and Portmann, Marius (2024). VeraciTIX: an NFT-based event ticketing system. Blockchain and smart-contract technologies for innovative applications. (pp. 189-213) edited by Nour El Madhoun, Ioanna Dionysiou and Emmanuel Bertin. Cham, Switzerland: Springer Nature Switzerland. doi: 10.1007/978-3-031-50028-2_7
2023
Journal Article
Adversarial detection from derived models
Zhao, Fangzhen, Zhang, Chenyi, Dong, Naipeng and Li, Ming (2023). Adversarial detection from derived models. International Journal of Pattern Recognition and Artificial Intelligence, 37 (15) 2350031. doi: 10.1142/s0218001423500313
2023
Journal Article
Evasion attack and defense on machine learning models in cyber-physical systems: a survey
Wang, Shunyao, Ko, Ryan K. L., Bai, Guangdong, Dong, Naipeng, Choi, Taejun and Zhang, Yanjun (2023). Evasion attack and defense on machine learning models in cyber-physical systems: a survey. IEEE Communications Surveys and Tutorials, 26 (2), 930-966. doi: 10.1109/comst.2023.3344808
2023
Conference Publication
Quantitative explainable AI for face recognition
Peng, Shu, Dong, Naipeng and Bai, Guangdong (2023). Quantitative explainable AI for face recognition. 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Toulouse, France, 14-16 June 2023. Piscataway, NJ, United States: IEEE. doi: 10.1109/iceccs59891.2023.00014
2022
Conference Publication
Verification of EVM Bytecode with Vale
Cumming, Daniel Keith, Utting, Mark, Dong, Naipeng, Cassez, Frank, Tork, S. B. and Risius, Marten (2022). Verification of EVM Bytecode with Vale. 6th Symposium on Distributed Ledger Technology 2022 (SDLT 2022), Gold Coast, QLD Australia, 22 November 2022.
2022
Conference Publication
DALT: Deep Activity Launching Test via intent-constraint extraction
Liu, Ao, Guo, Chenkai, Dong, Naipeng, Wang, Yinjie and Xu, Jing (2022). DALT: Deep Activity Launching Test via intent-constraint extraction. 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE), Charlotte, NC, United States, 31 October-3 November 2022. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/issre55969.2022.00053
2022
Journal Article
QoS-aware Diversified Service Selection
Guo, Chenkai, Zhang, Weijie, Dong, Naipeng, Liu, Zheli and Xiang, Yang (2022). QoS-aware Diversified Service Selection. IEEE Transactions on Services Computing, PP (99), 2085-2099. doi: 10.1109/tsc.2022.3210658
2022
Conference Publication
SDGen: a scalable, reproducible and flexible approach to generate real world cyber security datasets
Koay, Abigail M. Y., Xie, Miao, Ko, Ryan K. L., Sterner, Charles, Choi, Taejun and Dong, Naipeng (2022). SDGen: a scalable, reproducible and flexible approach to generate real world cyber security datasets. 1st International Conference on Ubiquitous Security (UbiSec), Guangzhou, Peoples Republic of China, 28-31 December 2021. Singapore, Singapore: Springer Singapore. doi: 10.1007/978-981-19-0468-4_8
2021
Conference Publication
An analytics framework for heuristic inference attacks against industrial control systems
Choi, Taejun, Bai, Guangdong, Ko, Ryan K. L., Dong, Naipeng, Zhang, Wenlu and Wang, Shunyao (2021). An analytics framework for heuristic inference attacks against industrial control systems. 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 202, Guangzhou, China, 29 December 2020-1 January 2021. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/TrustCom50675.2020.00112
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
-
Doctor Philosophy
Enhancing VR Testing by Leveraging Large Language Models: Developing an Adaptive, Automated Framework for GUI Verification
Principal Advisor
-
Doctor Philosophy
Multimodal Membership Inference: A Causal Perspective
Principal Advisor
-
-
Doctor Philosophy
Privacy attacks and defences in cross-cyber physical domains
Principal Advisor
-
Doctor Philosophy
Robustness Verification of Neural Network
Principal Advisor
Other advisors: Professor Hongzhi Yin
-
-
Doctor Philosophy
Privacy Compliance in Software Ecosystems
Principal Advisor
Other advisors: Dr Guowei Yang
-
-
Doctor Philosophy
A Trustworthy Compiler for Ethereum Smart Contracts
Associate Advisor
Other advisors: Associate Professor Mark Utting
-
Doctor Philosophy
Automated Testing of Deep Learning Systems
Associate Advisor
Other advisors: Associate Professor Dan Kim, Dr Guowei Yang
-
Doctor Philosophy
Interpretable Dependable Secure Intrusion Detection System (IDS-IDS, IDS^2)
Associate Advisor
Other advisors: Associate Professor Dan Kim
-
Doctor Philosophy
Toward End-to-End Verifiable Security for Confidential Container Deployments
Associate Advisor
Other advisors: Professor Ryan Ko
-
Doctor Philosophy
Adversarial Cyber-Attacks and Defences for In-Vehicle Networks
Associate Advisor
Other advisors: Associate Professor Dan Kim
-
Doctor Philosophy
Integrated Security and Safety Modelling for Autonomous Vehicles
Associate Advisor
Other advisors: Associate Professor Dan Kim
Completed supervision
-
2026
Doctor Philosophy
Measuring and Enhancing Honeypot Interactivity to Derive Attack Strategy Insights for Industry Control Systems Security
Associate Advisor
Other advisors: Professor Ryan Ko
-
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: