Dr Naipeng Dong

Lecturer

School of Information Technology and Electrical Engineering
Faculty of Engineering, Architecture and Information Technology
n.dong@uq.edu.au
+61 7 336 54337

Overview

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.

Research Interests

  • Formal Verification
  • Security
  • Privacy
  • Cryptographic Protocols
  • Blockchain and Smart Contract

Qualifications

  • Doctor of Philosophy, University of Luxembourg

Publications

  • Dong, Naipeng, Bai, Guangdong, Huang, Lung-Chen, Lim, Edmund Kok Heng and Dong, Jin Song (2020). A blockchain-based decentralized booking system. Knowledge Engineering Review, 35e17, doi:10.1017/s0269888920000260

  • Guo, Chenkai, Yang, Hui, Huang, Dengrong, Zhang, Jianwen, Dong, Naipeng, Xu, Jing and Zhu, Jingwen (2020). Review sharing via deep semi-supervised code clone detection. IEEE Access, 88959206, 24948-24965. doi:10.1109/access.2020.2966532

  • Ye, Quanqi, Zhang, Yan, Bai, Guangdong, Dong, Naipeng, Liang, Zhenkai, Dong, Jin Song and Wang, Haoyu (2019). LightSense: a novel side channel for zero-permission mobile user tracking. 22nd International Conference, ISC, New York, NY, United States, 16-18 September 2019. Cham, Switzerland :Springer. doi: 10.1007/978-3-030-30215-3_15

View all Publications

Publications

Journal Article

Conference Publication

  • Ye, Quanqi, Zhang, Yan, Bai, Guangdong, Dong, Naipeng, Liang, Zhenkai, Dong, Jin Song and Wang, Haoyu (2019). LightSense: a novel side channel for zero-permission mobile user tracking. 22nd International Conference, ISC, New York, NY, United States, 16-18 September 2019. Cham, Switzerland :Springer. doi: 10.1007/978-3-030-30215-3_15

  • Dong, Naipeng, Jonker, Hugo and Pang, Jun (2012). Challenges in eHealth: From enabling to enforcing privacy. FHIES 2011: International Symposium on Foundations of Health Informatics Engineering and Systems, Johannesburg, South Africa, 29-30 August 2011. Heidelberg, Germany :Springer. doi: 10.1007/978-3-642-32355-3_12

  • Dong, Naipeng, Jonker, Hugo and Pang, Jun (2012). Formal analysis of privacy in an eHealth protocol. 17th European Symposium on Research in Computer Security, Pisa, Italy, 10-12 September 2012. Heidelberg, Germany :Springer. doi: 10.1007/978-3-642-33167-1_19

  • Dong, Naipeng, Jonker, Hugo and Pang, Jun (2011). Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus. 7th International Workshop on Formal Aspects of Security and Trust, Pisa, Italy, 16-17 September 2010. Berlin, Germany :Springer.