Jinan Jiang is currently working toward the Ph.D. degree (January 2023 - present) with the Department of Computing, The Hong Kong Polytechnic University, under the supervision of Prof. Daniel Xiapu Luo. Before that, he received the B.A. degree in computer science from the University of California, Berkeley in June 2022. His research interests include blockchain security, zero-knowledge proof, and smart contract security.

📝 Publications

• ASE 2025 ScaleCirc: Scaling the Analysis over Circom Circuits (Paper)
  Jinan Jiang, Haoran Qin, Xiapu Luo
  40th IEEE/ACM International Conference on Automated Software Engineering, 2025.

• ICSE 2025 ConsCS: Effective and Efficient Verification of Circom Circuits (Paper)
  Jinan Jiang, Xinghao Peng, Jinzhao Chu, Xiapu Luo
  47th IEEE/ACM International Conference on Software Engineering, 2025.

• USENIX Security 2025 Automated Soundness and Completeness Vetting of Polygon zkEVM (Paper)
  Xinghao Peng, Zhiyuan Sun, Kunsong Zhao, Zuchao Ma, Zihao Li, Jinan Jiang, Xiapu Luo, Yinqian Zhang
  Proceedings of the 34th USENIX Security Symposium, 2025.

• TSE 2025 Understanding Security Issues in the DAO Governance Process (Paper)
  Junjie Ma, Muhui Jiang, Jinan Jiang, Xiapu Luo, Yufeng Hu, Yajin Zhou, Qi Wang, Fengwei Zhang
  IEEE Transactions on Software Engineering (TSE), 2025.

• TSE 2024 Unearthing gas-wasting code smells in smart contracts with large language models (Paper)
  Jinan Jiang, Zihao Li, Haoran Qin, Muhui Jiang, Xiapu Luo, Xiaoming Wu, Haoyu Wang, Yutian Tang, Chenxiong Qian, Ting Chen
  IEEE Transactions on Software Engineering (TSE), 2024.

• TOSEM 2024 Understanding Vulnerability Inducing Commits of the Linux Kernel (Paper)
  Muhui Jiang *, Jinan Jiang *, Tao Wu, Zuchao Ma, Xiapu Luo, Yajin Zhou
  ACM Transactions on Software Engineering and Methodology (TOSEM), 2024.
  (*These authors contributed equally to this work)

🎖 Selected Awards

• 2025 Best Poster Presentation Award, The PolyU COMP - HKUST (GZ) INFH Research Student Conference.
• 2023 Hong Kong PhD Fellowship Scheme (HKPFS).
• 2023 Ethereum Foundation Academic Grant, Ethereum Foundation on Blockchain Security Research.
• 2021 University of California at Berkeley, Berkeley Club of Hong Kong Scholarship.

💻 Teaching

• Computer Security (CS 161): Teaching Assistant, Summer 2021, UC Berkeley
• Computer Security (CS 161): Teaching Assistant, Fall 2021, UC Berkeley
• Computer Security (CS 161): Teaching Assistant, Spring 2022, UC Berkeley
• Cyber and Internet Security (COMP5355): Teaching Assistant, 2022/23 semester 3, The Hong Kong PolyU
• Computer Systems Security (COMP3334): Teaching Assistant, 2023/24 semester 2, The Hong Kong PolyU
• Decentralized Apps Fundamentals and Development (COMP5565): Teaching Assistant, 2024/25 semester 1, The Hong Kong PolyU
• Machine Learning and Applications in Finance (COMP5564): Teaching Assistant, 2024/25 semester 2, The Hong Kong PolyU
• Cyber and Internet Security (COMP5355): Teaching Assistant, 2024/25 semester 3, The Hong Kong PolyU
• Cyber and Internet Security (COMP5355): Teaching Assistant, 2025/26 semester 1, The Hong Kong PolyU

💻 Services

• IEEE Transactions on Dependable and Secure Computing (TDSC), Journal Reviewer