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:
Henna Qaisar
Senior Conference Producer
T: +61 410 828 401
To participate as a speaker:
Brittini Raygo
Senior Conference Producer
T: +61 02 8484 0945