为了加强学术交流，开拓学术视野，助推科研工作不断进步。2023年11月10日上午，公司于JC1011会议室举办了专家报告会。本次会议邀请了电子科技大学陈厅教授作题为《从一致性到区块链复杂逻辑缺陷检测》的专题报告，由yl34511线路中心经理李光顺老师主持，相关研究方向老师及研究生参加。

会议伊始，李老师简要介绍了陈厅教授的个人信息，并对陈厅教授的到来表示热烈的欢迎。随后，陈厅教授分享了从区块链分布式应用不同模块之间的一致性比对入手，如何实现对欺诈应用以及分布式金融复杂逻辑缺陷的自动化检测。

本次报告分为四个部分。第一部分中陈厅教授介绍了区块链系统安全挑战和针对复杂逻辑缺陷的自动化检测方法。第二部分中陈厅教授从软件漏洞的发现和检测角度分析了智能合约的安全性和逻辑性问题。传统解决方案通常采用手动建模和程序分析，而本报告提出基于一致性比对的方法。接着，在第三部分报告中，报告还介绍了该领域的难点和现有解决方案。第四部分是交流互动环节，陈厅教授同与会成员展开互动，耐心解答了大家科研上的困惑，并进行了相关知识的拓展。

图1.陈厅教授专家报告会成功举办

图2.陈厅教授作专题报告

与会老师和同学对陈厅教授本次报告会的分享和指导表示由衷的感谢，并邀请陈厅教授线下来公司指导交流。与会成员均表示通过本次学术报告会，对区块链技术有了更深一步的了解。本次报告会的成功举办，加强了公司的学术氛围，有力地促进公司师生学术热情的迸发和创新能力的提高。

专家介绍

陈厅，电子科技大学yl34511线路中心教授、博士生导师、教育部青年长江学者、四川省杰青、四川省学术和技术带头人后备人选，获得2022阿里巴巴达摩院青橙奖、2022CCF青年科学家奖、2012 国家科技进步二等奖、2010 四川省科技进步一等奖和2021四川省科技进步三等奖。从事软件安全，尤其是区块链软件、安卓软件与桌面系统软件的安全性研究工作，近五年在CCF A国际会议/期刊上发表论文30余篇，获得INFOCOM 2018最佳论文奖在内的15个学术/竞赛奖项。

组稿：于凤池、王蓓

编辑：程荣花

责编：孙旭春

审核：于健