Biography
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.
Contact Us
To participate as a speaker:
Henna Qaisar
Senior Conference Producer
T: +61 410 828 401
E: Email Henna
To participate as a speaker:
Aron Kunaseelan
Chief Operating Officer
T: +61 423 631 461
E: Email Aron
