Naipeng Dong (Preferred)
Naipeng Dong
Lecturer, The University of Queensland
- Joined October 2024
Names
Emails
****@uq.edu.au (Confirmed)
Personal Links
Career & Education History
Lecturer
The University of Queensland (uq.edu.au)
2019 – Present
Postdoc
school of computing, National University of Singapore (nus.edu.sg)
2013 – 2019
PhD student
FSTM, University of Luxemburg (uni.lu)
2009 – 2013
Advisors, Relations & Conflicts
Expertise
Formal Verification
Present
Security
Present
Privacy
Present
Cryptography
Present