姓名:赵相福
职称:教授 硕士生导师
所在院系:计算机系
最后学位:博士
最后学历:博士研究生
最后毕业院校:吉林大学
所学专业:计算机软件与理论
研究方向:人工智能、区块链
联系方式:xiangfuzhao@163.com
赵相福,男,教授、博导,2009年获吉林大学计算机博士学位(导师:欧阳丹彤教授);担任山东省高校青创人才引育计划团队带头人,区块链技术与应用山东省工程研究中心研发团队与技术带头人,中国计算机学会(CCF)区块链、理论计算机科学及形式化方法专委会执行委员,CCF高级会员,中国工业与应用数学学会(CSIAM)区块链专委会委员,浙江省区块链技术应用协会专家智库成员,山东省人工智能学会理事;主要研究方向为人工智能(诊断推理)、区块链(智能合约安全漏洞检测、跨链技术基础)等;截止目前,主持山东省青创人才计划项目1项、国家自然科学基金项目2项(面上和青年各1项)、浙江省自然科学基金项目2项、山东省自然科学基金项目1项、山东省优质研究生课程建设项目1项;在IEEE TSMCA/TR/TNSE、EAAI、JAIR、Information Fusion、AAAI、ICSE、ECAI、KR、软件学报、电子学报等知名期刊或会议发表学术论文90余篇,授权发明专利20余件,出版Springer学术专著1部;作为访问教授(Visiting Professor)在意大利访学1年;受邀担任CCF A类会议IJCAI-19 Session Chair、AAAI-15/18/21/22/24/25及IJCAI-19/20程序委员;国家重点研发计划“区块链”重点专项视频会议评审专家,国家自然科学基金同行评议专家,省科学技术奖及重点人才工程通讯评审专家,北京等多省市自然科学基金同行评议专家;IEEE TIFS/TSE/TDSC/TSC/TR/TSMCA/TCYB/TASE/TBD/IoTJ、ACM TOSEM、中国科学:信息科学、软件学报、电子学报、计算机研究与发展、通信学报等知名期刊审稿人;HCP-2024研讨会会务负责人、FAW-AAIM-2011组委会委员及联系人、CCFAI-2021会议组委会委员等。
2020.7 – 至今 烟台大学 教授
2009.8 – 2020.6 浙江师范大学 讲师、副教授
2012.8 - 2013.7 意大利 布雷西亚大学 访问教授(Visiting Professor at University of Brescia, Brescia, Italy)
2008.8 - 2008.11 爱尔兰国立大学(Galway)DERI研究所 交换生
本科生:人工智能基础、汇编语言、数据结构与算法、离散数学、C语言等
研究生:高级人工智能
主持的主要科研项目:
1. 山东省高校青创人才引育计划创新团队,项目负责人
2. 国家自然科学基金面上项目:面向区块链智能合约漏洞自动检测与修复的符号逻辑建模与推理,项目负责人
3. 国家自然科学基金(青年科学基金)项目:离散事件系统基于模型的分布式在线诊断方法研究,项目负责人
4. 浙江省自然科学基金面上项目:基于分治策略快速产生大规模极小Hitting-Sets的方法,项目负责人
5. 浙江省自然科学基金面上项目:离散事件系统基于模型的分布式及分层诊断方法研究,项目负责人
6. 山东省自然科学基金面上项目:基于通讯自动机建模的多模态区块链系统跨链协同与逻辑安全研究,项目负责人
部分代表论文:
1. Xiangfu Zhao and Dantong Ouyang. Deriving all minimal hitting sets based on join relation. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2015, 45 (7): 1063-1076.
2. Xiangfu Zhao, Xiangrong Tong, Dantong Ouyang, Liming Zhang, and Yanzhi Hou. TreeMerge: efficient generation of minimal hitting-sets for conflict sets in tree structure for model-based fault diagnosis. IEEE Transactions on Reliability, 2021, 70 (4): 1596–1610.
3. Yichen Wang, Xiangfu Zhao*, Long He, Zixian Zhen, and Haiyue Chen. ContractGNN: Ethereum smart contract vulnerability detection based on vulnerability sub-graphs and graph neural networks. IEEE Transactions on Network Science and Engineering, 2024.
4. Long He, Xiangfu Zhao*, and Yichen Wang. ReenSAT: reentrancy vulnerability detection in smart contracts using semantic-enhanced SAT evaluation. IEEE Transactions on Reliability, 2024.
5. Gianfranco Lamperti and Xiangfu Zhao. Diagnosis of active systems by semantic patterns. IEEE Transactions on Systems, Man and Cybernetics: Systems, 2014, 44(8): 1028 - 1043.
6. Xiangfu Zhao. LinearMerge: efficient computation of minimal hitting sets for conflict sets in a linear structure. Engineering Applications of Artificial Intelligence, 2018, 72: 327–339.(中科院SCI 1区Top期刊)
7. Tengfei Wang, Xiangfu Zhao*, Jiarui Zhang. TMF-Net: Multimodal smart contract vulnerability detection based on multiscale transformer fusion. Information Fusion, 2025, 103189. (中科院SCI 1区Top期刊)
8. Jiahui Yang, Xiangfu Zhao*, Hanfeng Zhang, Long He, Shiji Wang, and Naixiang Gou. CSAFuzzer: fuzzing smart contract combining with static analysis. Empirical Software Engineering, 2025, 30 (3), article number 62. (CCF B, 中科院SCI 2区期刊)
9. Xiangfu Zhao and Dantong Ouyang. Model-based diagnosis of discrete event systems with an incomplete system model. In: Proc. of the 18th European Conference on Artificial Intelligence (ECAI-08), Patras, Greece, July, 2008, 189-193. (CCF B类会议)
10. Long He, Xiangfu Zhao*, and Yichen Wang. ParSE: efficient detection of smart contract vulnerabilities via parallel and simplified symbolic execution. In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE - Companion), 14-20 April, 2024, Lisbon, Portugal, pages 272–273. (ICSE为CCF A类会议)
11. Zixian Zhen, Xiangfu Zhao*, Jinkai Zhang, Yichen Wang, and Haiyue Chen. DA-GNN: a smart contract vulnerability detection method based on dual attention graph neural network. Computer Networks, 2024, 242, article 110238. (CCF B类期刊)
12. Shiji Wang and Xiangfu Zhao*. Contractsentry: a static analysis tool for smart contract vulnerabilities detection. Automated Software Engineering, 2025, 32: 1. (CCF B类期刊)
13. Xiangfu Zhao, Zhongyu Chen, Xin Chen, Yanxia Wang, and Changbing Tang. The DAO attack paradoxes in propositional logic. In: Proc. 4th International Conference on Systems and Informatics (ICSAI-17), Hangzhou, China, Nov. 11-13, 2017, 1636-1639. (Google Scholar他引近70余次)
14. 赵相福*, 黄森, 魏霞, 童向荣, 欧阳丹彤, 张立明. BWSS: 结合可疑集合簇计算极小碰集的Boolean算法. 软件学报, 2025.(CCF A类中文期刊,中国科技期刊卓越行动计划领军期刊) https://doi.org/10.13328/j.cnki.jos.007227.
15. 赵相福, 黄森, 童向荣, 欧阳丹彤, 张立明, 章星林. IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法. 电子学报, 2022, 50(11): 2722-2729. (CCF A类中文期刊)
学术专著:
1. Gianfranco Lamperti, Marina Zanella, and Xiangfu Zhao. Introduction to Diagnosis of Active Systems. EBook ISBN: 978-3-319-92733-6, Hardcover ISBN: 978-3-319-92731-2. Springer, 2018. https://www.springer.com/it/book/9783319927312
部分学术报告:
1. 2023.9 济南 2023年人工智能创新发展与技术应用培训交流会 学术报告:基于人工智能的区块链智能合约安全漏洞检测
2. 2023.7 昆明 第六届难解问题的表示、算法与应用研讨会(HCP-2023研讨会) 学术报告:极小碰集高效计算:基于分布式和分治法求解的策略
3. 2020.10 线上 国际研讨会 1st Webinar: Smart Cities and Blockchain Innovations 学术报告:Is Blockchain a Real Opportunity for Smart Cities Projects in China?
4. 2020.9 西安(线上) 西安电子科技大学 学术报告:Model-Based Diagnosis of Discrete-Event Systems
5. 2017.11 杭州 国际学术会议ICSAI-2017 学术报告:The DAO Attack Paradoxes in Propositional Logic
6. 2016.8 宁波 国际学术会议ICIA-2016 学术报告:Deriving All Minimal Hitting-Sets by Merging
7. 2013.10 以色列 耶路撒冷 本古里安大学 国际诊断原理学术研讨会(DX-2013) 学术报告:A Distributed Strategy for Deriving Minimal Hitting-Sets
8. 2008.11 爱尔兰 科克大学(UCC) 学术报告:Model-Based Diagnosis: from Static Systems to Discrete-Event Systems
部分发明专利:
1. 一种跨合约漏洞的检测方法、系统和设备. 授权专利号:ZL 2023 1 0627115.2
2. 一种基于神经网络的智能合约漏洞检测方法. 授权专利号:ZL 2023 1 0741124.4
3. 一种符号执行的智能合约漏洞检测方法、系统和设备. 授权专利号:ZL 2023 1 0880953.0
4. 一种基于漏洞子图的智能合约漏洞检测方法、系统和设备. 授权专利号:ZL 2023 1 1178702.4
5. 一种智能合约安全漏洞检测方法和系统. 授权专利号:ZL 2023 1 0556822.7
6. 基于图神经网络的智能合约漏洞检测方法、系统和设备. 授权专利号:ZL 2023 1 1579362.6
7. 智能合约的重入漏洞检测方法、系统、设备和存储介质. 授权专利号:ZL 2023 1 1578102.7
8. 基于语义信息引导模糊测试的智能合约漏洞检测方法. 授权专利号:ZL 2024 1 0011599.2
9. 基于关键路径的智能合约整数溢出漏洞检测方法、系统. 授权专利号:ZL 2024 1 0304572.2
10. 一种基于中间表示的智能合约漏洞检测方法、系统和设备. 授权专利号:ZL 2024 1 0304571.8
11. 基于源代码和字节码的智能合约漏洞检测方法和系统. 授权专利号:ZL 2024 1 0591644.6
12. 基于执行路径和堆栈事件的智能合约漏洞检测方法和设备. 授权专利号:ZL 2024 1 0749158.2
13. 基于静态分析与模糊测试结合的智能合约漏洞检测方法. 授权专利号:ZL 2024 1 0090931.9
14. 基于约束引导模糊测试的智能合约漏洞检测方法和系统. 授权专利号:ZL 2024 1 1110087.8
15. 基于多模态融合的智能合约漏洞检测方法、系统和设备. 授权专利号:ZL 2024 1 1596069.5
16. 一种基于灰盒模糊测试的智能合约漏洞检测方法、系统. 授权专利号:ZL 2025 1 0051775.X
17. 一种基于状态锁的智能合约的安全函数的设计方法及系统. 授权专利号:ZL 2019 1 0077219.4
部分软件著作权:
1. 赵相福, 陈奇. 基于模型的离散动态设备故障诊断系统V1.0 (登记号:2015SR128632). 国家版权局. 2015-07-09.
2. 赵相福, 陈奇. 基于连续两个时间窗口的实时故障诊断推理系统V1.0 (登记号:2015SR128627). 国家版权局. 2015-07-09.
3. 赵相福, 施婷婷. 基于SAT求解器的极小候选诊断产生系统V1.0 (登记号:2015SR249610). 国家版权局. 2015-12-08.
4. 赵相福, 施婷婷. 基于SAT求解器的极小冲突部件集产生系统V1.0 (登记号:2015SR249614). 国家版权局. 2015-12-08.
5. 赵相福, 章星林. 极小碰集多算法集成求解系统V1.0 (登记号:2021SR1197893). 国家版权局. 2021.08.
6. 赵相福, 刘绍源. 基于区块链的音乐版权保护系统V1.0 (登记号:2020SR0292667). 国家版权局. 2020-03-27.
部分科研相关获奖情况:
2021. 指导研究生获得2021 CCF中国区块链技术大会优秀论文奖 (中国计算机学会 区块链专委会)
2023. 指导研究生在CCF&ATEC第二届大学生区块链安全隐私技术与创新应用竞赛中获得全国三等奖 及 优秀指导教师奖(中国计算机学会 区块链专委会)
2023. 论文“基于Ethereum智能合约的安全策略分析”被《应用科学学报》评为第四届高被引论文
主持的教改项目
1. 浙江师范大学青年教改项目:基本数据结构库函数的设计与相关典型案例的实现, 2012.9 – 2013.6,项目负责人
2. 浙江师范大学课堂教改一般项目:《离散数学》渐进式双语教学研究, 2014.6 – 2015.6,项目负责人
3. 浙江师范大学全英文授课品牌课程建设项目:“Discrete Mathematics”, 2014.12 – 2017.12,项目负责人
4. 浙江师范大学教学改革重点项目(留学生教学与管理专项):软件工程核心课程《数据结构与算法》全英文教学研究, 2016.12 – 2017.12,项目负责人
5. 浙江师范大学教学改革重点项目:循序渐进的项目制算法设计实训(英文)教学研究, 2018.11 – 2020.11, 项目负责人
6. 山东省优质研究生课程建设项目:“高级人工智能”(No. SDYKC2024213),2025.1 – 2027.12, 山东省教育厅, 项目负责人
发表的教研论文
1. 赵相福,韩建民,吴建斌,王艳霞. 离散数学双语教学问题与对策. 计算机教育, 2016, (3): 49 - 52.
2. 赵相福. 数据结构全英文教学问题与对策探索. 计算机教育, 2017, (12): 94 - 97.
3. 韩建民, 钟发荣, 赵相福, 宋炯. 基于ACM-ICPC训练模式的数据结构实践教学探索. 计算机教育, 2013, (10): 103-107.
2011年开始指导研究生,目前在读研究生10余名(含2名中外联合培养博士生),已毕业研究生20多名,多人荣获优秀毕业研究生、优秀论文,或继续攻读博士学位。