信息与软件工程学院（示范性软件学院）
|
|
|
|
| 导师代码： |
21753
|
| 导师姓名： |
李子豪
|
| 性 别： |
男 |
| 特 称： |
|
| 职 称： |
教授
|
| 学 位： |
哲学博士学位
|
| 属 性： |
专职 |
| 电子邮件： |
zhli@uestc.edu.cn
|
|
|
| 学术经历：
|
|
教授/博士生导师，国家级青年人才。本科及硕士毕业于电子科技大学，博士毕业于香港理工大学。主要从事新兴系统软件安全研究，聚焦Web3.0软件生态（包括区块链、智能合约和零知识虚拟机等），致力于探索智能化软件安全分析与防护方法。在计算机安全和存储系统等领域的CCF-A类国际顶级会议及期刊（如ACM CCS、IEEE S&P、USENIX Security、NDSS、USENIX FAST和IEEE TSE等）发表论文20余篇，相关成果获一级学会及国际会议颁发的学术荣誉十余次。担任ACM CCS、IEEE TSE、IEEE TDSC、IEEE ToN、IEEE TSC等国际顶级会议及期刊的程序委员会成员及审稿人。
|
|
| 个人简介：
|
|
欢迎对安全研究感兴趣的学生，涵盖但不限于软件安全、区块链和智能合约安全以及AI for security等方向（详见学术主页：https://zzzihao-li.github.io/）
|
|
| 科研项目：
|
|
|
|
| 研究成果：
|
|
1. Z. Li, Z. Sun, Z. He, J. Chu, H. Zhou, X. Luo, T. Chen, and Y. Zhang, Denial of Sequencing Attacks in Ethereum Layer 2 Rollups, ACM Conference on Computer and Communications Security (CCS), 2025. (安全四大, CCF-A类会议)
2. Z. Li, X. Peng, H. Zhe, X. Luo, T. Chen, fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup, ACM Conference on Computer and Communications Security (CCS), 2024. (安全四大, CCF-A类会议)
3. Z. Li, J. Li, Z. He, X. Luo, T. Wang, X. Ni, W. Yang, X. Chen, and T. Chen, Demystifying DeFi MEV Activities in Flashbots Bundle, ACM Conference on Computer and Communications Security (CCS), 2023. (安全四大, CCF-A类会议)
4. Z. Li, Z. He, X. Luo, T. Chen, and X. Zhang, Finding Correctness Issues on Ethereum Verkle Tries via Preimage-Aware Differential Testing, IEEE Transactions on Software Engineering (TSE), 2025. (软件工程CCF-A类期刊, SCI一区)
5. Z. Li, Z. He, X. Luo, T. Chen, and X. Zhang, Unveiling Financially Risky Behaviors in Ethereum ERC20 Token Contracts, Chinese Journal of Electronics (CJE), 2017. (国内顶级英文期刊, CCF-T1)
6. Z. He, Z. Li#, J. Luo, F. Luo, J. Duan, J. Li, S. Song, X. Luo, T. Chen, X. Zhang, Auspex: Unveiling Inconsistency Bugs of Transaction Fee Mechanism in Blockchain, USENIX Security, 2025. (安全四大, CCF-A类会议)
7. Z. He, Z. Li#, A. Qiao, J. Li, F. Luo, S. Yang, G. Deing, S. Song, X. Zhang, T. Chen, X. Luo, Maat: Analyzing and Optimizing Overcharge on Blockchain Storage, USENIX Conference on File and Storage Technologies (FAST), 2025. (存储系统领域CCF-A类会议)
8. He, Z. Li*, A. Qiao, X. Luo, X. Zhang, T. Chen, S. Song, D. Liu, W. Niu, Nurgle: Exacerbating Resource Consumption in Blockchain State Storage via MPT Manipulation, IEEE Symposium on Security and Privacy (S&P), 2024. (安全四大, CCF-A类会议)
9. Z. Sun, Z. Li, X. Peng, X. Luo, M. Jiang, H. Zhou, Y. Zhang, DoubleUp Roll: Double-spending in Arbitrum by Rolling It Back, ACM Conference on Computer and Communications Security (CCS), 2024. (安全四大, CCF-A类会议)
10. Luo, Z. Li, W. Luo, Z. He, X. Luo, Z. Ma, S. Song, T. Chen, ”Light into Darkness: Demystifying Profit Strategies Throughout the MEV Bot Lifecycle”, Network and Distributed System Security Symposium (NDSS), 2026. (安全四大, CCF-A类会议)
|
|
| 专业研究方向：
|
| 专业名称 |
研究领域/方向 |
招生类别 |
| 083500软件工程 |
01软件理论，03网络安全，06嵌入式系统 |
博士学术学位 |
| 085400电子信息 |
01软件工程，02不区分研究方向（非全） |
博士专业学位 |
|
|
|
|
|
|
