Naipeng Dong

Dr. Naipeng Dong is a Lecturer at the School of Electrical Engineering and Computer Science, The University of Queensland. Her expertise lies in automatic formal verification of security and privacy in cryptographic protocols, Android applications, and blockchain systems. She holds a PhD from the Université du Luxembourg.

Education:

• Doctor of Philosophy (PhD), Université du Luxembourg

Research Interests:
Dr. Dong focuses on developing efficient formal verification techniques for analyzing cryptographic protocols, ensuring fault-tolerance in systems with dishonest participants, and exploring applications in e-auction, e-health, Single-Sign-On (SSO) authentication, and blockchain consensus mechanisms. Her work also addresses blockchain-based systems, NFT applications in music copyright, and cybersecurity in industrial control systems.

Advising and Grants:
While specific grant details are not detailed, her research involves collaborative projects with industry and academic partners, emphasizing practical applications of formal verification and cybersecurity. She actively contributes to academic supervision.

Labs and Teams:
She is part of the Cyber Security and Software Engineering (CSS) discipline at UQ, collaborating with researchers like Associate Professor Guangdong Bai on trustworthy AI, privacy compliance, and formal methods.