Dr. Naipeng Dong

Lecturer - School of Electrical Engineering and Computer Science

University of Queensland

Next Appearing at:

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.

To participate as a speaker:
Aron Kunaseelan
Chief Operating Officer
T: +61 423 631 461
To participate as a speaker:
Brittini Raygo
Senior Conference Producer
T: +61 02 8484 0945
To participate as a speaker:
Stella Spackman
Senior Conference Producer
T: +61 433 732 794