Jinan Jiang

According to our database, Jinan Jiang authored at least 7 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Understanding Security Issues in the DAO Governance Process.

Junjie Ma, Muhui Jiang, Jinan Jiang, Xiapu Luo, Yufeng Hu, Yajin Zhou, Qi Wang, Fengwei Zhang

IEEE Trans. Software Eng., April, 2025

Unearthing Gas-Wasting Code Smells in Smart Contracts With Large Language Models.

Jinan Jiang, Zihao Li, Haoran Qin, Muhui Jiang, Xiapu Luo, Xiaoming Wu, Haoyu Wang, Yutian Tang, Chenxiong Qian, Ting Chen

IEEE Trans. Software Eng., April, 2025

Automated Soundness and Completeness Vetting of Polygon zkEVM.

Xinghao Peng, Zhiyuan Sun, Kunsong Zhao, Zuchao Ma, Zihao Li, Jinan Jiang, Xiapu Luo, Yinqian Zhang

Proceedings of the 34th USENIX Security Symposium, 2025

ScaleCirc: Scaling the Analysis over Circom Circuits.

Jinan Jiang, Haoran Qin, Xiapu Luo

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

ConsCS: Effective and Efficient Verification of Circom Circuits.

Jinan Jiang, Xinghao Peng, Jinzhao Chu, Xiapu Luo

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

Understanding Vulnerability Inducing Commits of the Linux Kernel.

Muhui Jiang, Jinan Jiang, Tao Wu, Zuchao Ma, Xiapu Luo, Yajin Zhou

ACM Trans. Softw. Eng. Methodol., September, 2024

Demystifying the DAO Governance Process.

Junjie Ma, Muhui Jiang, Jinan Jiang, Xiapu Luo, Yufeng Hu, Yajin Zhou, Qi Wang, Fengwei Zhang

CoRR, 2024