Dr Naipeng Dong
Dr

Naipeng Dong

Email: 
Phone: 
+61 7 336 54337

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

Cybersecurity and privacy Information and Computing Sciences Software engineering Software testing, verification and validation

Qualifications

  • Doctor of Philosophy, Université du Luxembourg

Research interests

  • Formal Verification

  • Security

  • Privacy

  • Cryptographic Protocols

  • Blockchain and Smart Contract

Search Professor Naipeng Dong’s works on UQ eSpace

41 works between 2011 and 2025
All (41) Journal Article (10) Book Chapter (2) Conference Publication (28) Book (1)

41 - 41 of 41 works

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

Automatic construction of callback model for android application

Current funding

  • 2025 - 2026
    Enhancing UGVs' multi-agent collaboration capabilities using federated reinforcement learning
    Queensland Defence Science Alliance
    Open grant
  • 2023 - 2027
    Secure and Ethical XR Based HSE Training for First Responders in Crisis Situations
    CSIRO
    Open grant

Past funding

  • 2022 - 2023
    Algorand Centre of Excellence (ACE) on Sustainability Informatics for the Pacific (administered by Monash University)
    Monash University
    Open grant
  • 2022 - 2023
    Blockchain-based Event Ticketing System
    Innovation Connections
    Open grant
  • 2022
    Quantitative analysis of Consensus Protocols
    SupraOracles
    Open grant
  • 2021 - 2022
    A lightweight and adaptive LSTM model (Defence Science and Technology Group grant administered by The University of Melbourne)
    University of Melbourne
    Open grant

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

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:

communications@uq.edu.au