南京大学计算机科学与技术系软件新技术与产业化协同创新中心      

摘 要：

以区块链为代表的分布式账本技术近年来在各个行业得到广泛重视和应用探索。尤其是在金融领域，区块链和智能合约技术成为了新一代金融服务（如：加密数字资产、分布式交易所等）的基础技术架构。然而，由于区块链本身的不可篡改性，来自外部的恶意攻击和交易将造成永久性的资产损失，并扰乱市场秩序。本报告将从安全和监管合规的角度，介绍区块链应用上的潜在隐患和相应的解决方案。其中，报告将重点针对智能合约的安全问题，介绍基于程序分析技术（如符号执行、模糊测试等）的自动化智能合约安全分析方法，包括攻击检测、漏洞搜索等。此外，报告还将针对分布式交易所场景和协议，介绍区块链上的自动化监管合规系统，以及在 Ethereum、Fabric 等主流区块链上的应用案例。

报告人简介:

刘浛博士，现任牛津（海南）区块链研究院监管与安全实验室负责人。他于北京邮电大学获得学士学位，清华大学获得博士学位，曾于加州大学戴维斯分校（UC Davis）编程语言与软件工程实验室担任访问学者，并于清华大学软件系统与工程研究所担任博士后研究员，目前主要从事区块链系统安全、高并发区块链、监管科技等方向的研究工作。他在软件工程（ICSE、ESEC/FSE、ASE、ISSTA、ICPC、MSR、MODELS）、形式化方法（FM）、分布式系统（TPDS）、实时系统（RTAS）等领域发表了 20 余篇会议及期刊论文。其区块链智能合约安全相关的研究工作受邀参加以太坊开发者大会 Devcon4、Devcon5，并做主题报告。曾参与和主持国家自然科学基金委重大专项、青年科学基金、博士后面上基金等科研项目，并与百度、华为、清华大学、牛津大学等企业、高校机构保持合作。

时间：9月25日(星期三) 10:00

地点：计算机科学技术楼230室