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.
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
Multimodal Membership Inference: A Causal Perspective
Principal Advisor
-
Doctor Philosophy
Privacy Compliance in Software Ecosystems
Principal Advisor
Other advisors: Dr Guowei Yang
-
-
Doctor Philosophy
Privacy attacks and defences in cross-cyber physical domains
Principal Advisor
-
-
Doctor Philosophy
Enhancing VR Testing by Leveraging Large Language Models: Developing an Adaptive, Automated Framework for GUI Verification
Principal Advisor
-
-
Doctor Philosophy
A Trustworthy Compiler for Ethereum Smart Contracts
Associate Advisor
Other advisors: Associate Professor Mark Utting
-
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
Interpretable Dependable Secure Intrusion Detection System (IDS-IDS, IDS^2)
Associate Advisor
Other advisors: Associate Professor Dan Kim
-
Doctor Philosophy
Virtualized Root of Trust in Cloud Computing
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
Measuring and Enhancing Honeypot Interactivity to Derive Attack Strategy Insights for Industry Control Systems Security
Associate Advisor
Other advisors: Professor Ryan Ko
-
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: