1. 时间：2023年10月21日
2. 主讲人：陈厅（国家级青年人才，近年来在区块链安全顶会已发表数十篇文章，电子科技大学教授）
3. 报告题目：从一致性到区块链复杂逻辑缺陷检测
4. 报告摘要：虽然区块链系统由密码学方法提供技术支撑，但其本身仍然面临严峻的安全挑战，例如：重入漏洞、整数溢出。近年来，针对区块链安全缺陷的研究，无论是检测、修复还是阻断都已经有了很多优秀的研究，但针对复杂逻辑缺陷问题却缺少有效应对手段。本报告从区块链分布式应用不同模块之间的一致性比对入手，实现对欺诈应用以及分布式金融复杂逻辑缺陷的自动化检测。
