Rate My Professor Naipeng Dong

Dr. Naipeng Dong is a Senior Lecturer in the School of Electrical Engineering and Computer Science within the Faculty of Engineering, Architecture and Information Technology at the University of Queensland. She earned her Doctor of Philosophy from Université du Luxembourg. Her research expertise lies in automatic formal verification of security and privacy in cryptographic protocols, Android applications, and blockchain systems. She has developed efficient automatic formal verification techniques emphasizing attacker reasoning and analysis of cryptographic protocols, as well as algorithms to verify fault-tolerance in systems involving dishonest participants. Her analyses cover systems in e-auction, e-health, single-sign-on authentication, and blockchain consensus. Additional research interests include formal verification for correctness and trustworthiness of complex software behaviors; security and privacy vulnerabilities in AI, blockchain, Android, authentication, and e-health; post-quantum security mechanisms; secure cryptographic protocols; and security, correctness, and privacy in blockchain systems and smart contracts. Her fields of research encompass cybersecurity and privacy, information and computing sciences, software engineering, and software testing, verification, and validation.

Dr. Dong has authored 54 works from 2011 to 2026, including 14 journal articles, 37 conference publications, two book chapters, and one book. Notable publications include 'Fratricide! Hijacking in Android Multi-Window' (IEEE Transactions on Dependable and Secure Computing, 2025), 'A container security survey: exploits, attacks, and defenses' (ACM Computing Surveys, 2025), 'VIMA: A Privacy-Preserving Integrity Measurement Architecture for Containerized Environments' (IACR Transactions on Cryptographic Hardware and Embedded Systems, 2025), 'Multi-agent reinforcement curriculum learning for real unmanned ground vehicles' (Engineering Applications of Artificial Intelligence, 2026), 'Formal Analysis of a Proof-of-Stake Blockchain' (2018), and 'Formal Analysis of Privacy in an eHealth Protocol' (2018). She leads several funded projects, such as 'Automating Security Testing of Quantum Safe Chips' (Australia's Economic Accelerator Ignite Grants, 2026-2027), 'Reliable AI-Driven Decision Making for Autonomous Underwater Vehicles in Marine Life Surveys' (2025-2026), 'Enhancing UGVs' multi-agent collaboration capabilities using federated reinforcement learning' (Queensland Defence Science Alliance, 2025-2026), and 'Secure and Ethical XR Based HSE Training for First Responders in Crisis Situations' (CSIRO, 2023-2027). Currently supervising 14 Doctor of Philosophy students as principal or associate advisor on topics like machine learning systems analysis and VR testing frameworks, she has also completed supervision of several PhD theses in 2025 and 2026.