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
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
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
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
-
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: