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:
Jasmine Haw Alverez
Conference Producer
T: +61 2 8484 0918
To participate as a speaker:
Murali Ramesh
Production Director
T: +61 2 8484 0904
To participate as a speaker:
Brittini Raygo
Senior Conference Producer
T: +61 02 8484 0945