Information Sciences Seminar——区块链安全挑战及分析技术
报告人：刘浛 (牛津（海南）区块链研究院监管科技实验室)
时间：2020-12-24 13:30-14:30
地点：Room 1303, Sciences Building No. 1
摘要：区块链技术近年来在各个行业得到广泛重视和应用探索。尤其是在金融领域，区块链和智能合约技术成为了新一代金融服务的基础技术架构。然而，由于区块链本身的不可篡改性，来自外部的恶意攻击和交易将造成永久性的资产损失，并扰乱市场秩序。本报告将介绍区块链应用生态中的安全隐患及相关技术解决方案。报告将重点针对智能合约的安全漏洞问题，介绍基于程序分析技术的自动化智能合约安全分析研究工作，包括攻击检测、漏洞搜索等。此外，报告还将结合行业应用现状，介绍区块链分布式治理和去中心化金融服务场景中的协议层安全挑战。
简介：刘浛博士，牛津（海南）区块链研究院监管科技实验室负责人，The Blockhouse Technology Ltd.公司高级研究员，于2017年获得清华大学软件工程博士学位。曾担任UC Davis大学编程语言实验室担任访问学者，清华大学软件系统与工程研究所担任博士后研究员。目前主要从事区块链、监管科技、智能合约安全与隐私等方向的研究工作。他在软件工程（ICSE、FSE、ASE、ICPC）、分布式计算（ICDCS、TPDS）、网络安全（SRDS）、实时系统（RTAS） 等领域的国际会议及期刊发表了 30 余篇学术论文。相关智能合约安全研究工作受邀参加以太坊开发者大会 Devcon4、 Devcon5，并做主题报告。参与并主持国家自然科学基金委重大专项、青年科学基金、博士后面上基金等科研项目。
