报告题目一：智能合约漏洞检测及关联交易分析的关键技术

报告人：张引（电子科技大学）

报告时间：2024年11月29日上午8:30-10:00

报告地点：西区图书馆报告厅

报告一

摘要：Web3.0底层由区块链、智能合约、“通证”、去中心化社区支撑，实现价值可信交换。然而，由于区块链的不可篡改性，智能合约的漏洞问题频发，成为了影响系统安全性的一大隐患。为解决这一问题，需要围绕区块链智能合约编译部署、以及交易调用过程中的安全隐患进行分析。因此，我们提出基于特征增强的智能合约漏洞检测方法，关注具有相似语义语法的智能合约群体特征，以及与漏洞分类和定位两个任务相关的通用特征，以提升模型漏洞识别准确性。还提出了基于极简演替理论的标签传播算法检测异常交易，提高样本不均衡的交易数据集中的模型分类准确性。

报告题目二：国家自然科学基金申请书评审要点与撰写技巧

报告人：张引（电子科技大学）

报告时间：2024年11月29日下午2:20-3:50

报告地点：张衡楼225

报告二

摘要：从国家基金评审要点与选题开始，详细介绍国家自然科学基金申请书科学问题的构思与凝练，摘要、科学属性、经费预算、立项依据、研究内容、技术路线、实验方案等核心内容的撰写，关键科学问题、特色与创新点、可行性分析、预期成果等的凝练。基金讲座内容丰富，覆盖面广，涉及申请书的每部分、每个知识点，清晰深入，体例典型，剖析透彻；且不局限于某个单一学科、领域，具有普适性、系统性、全面性、深刻性。

个人简介：

张引，现为电子科技大学信息与通信工程学院研究员、博士生导师，广东省智能机器人研究院信息网络通信及应用领域首席科学家，长期从事移动计算、边缘智能、区块链、智能网络服务与应用的研究。主持国家级/省部级项目8项，其中主持国家重点研发计划课题1项、国家自然科学基金4项、教育部专项基金1项、财政部研究课题1项，广东省重点领域研发计划项目1项等。2017年入选湖北省青年人才计划，2018年获得IEEE系统学会《IEEE Systems Journal》期刊年度最佳论文奖，2019年入选“全球高被引科学家”，2020年入选“中国高被引学者”，2021年入选四川省青年人才计划，2019年当选IEEE计算机协会大数据技术委员会（IEEE Computer Society Big Data STC）联合主席，连续3年入选全球2%顶尖科学家榜。近5年，以第一或通讯作者发表论文38篇(IEEE Trans及中科院大类1区论文18篇)；在Google Scholar中引用总数超过8600次，先后有14篇论文入选ESI热点论文/高被引论文。