讲座主题：
Automated Smart Contracts Vulnerability Detection and Mitigation
主讲人姓名及介绍：
孙军是新加坡管理大学的副教授。于2002年和2006年获得新加坡国立大学计算机科学学士学位和博士学位。于2007年，获得了享有盛名的LEE KUAN YEW博士后奖学金。研究方向包括软件工程，形式方法，程序分析和网络安全。
报告摘要：
智能合约是图灵完备的程序，可在区块链的基础结构上执行，这些程序通常管理有价值的数字资产。 Solidity是在以太坊平台上编写智能合约的最受欢迎的编程语言之一。 与传统程序一样，智能合约可能包含漏洞与传统程序不同，智能合约一旦部署便无法轻松打补丁。 因此，重要的是在部署智能合约之前要对其进行全面测试。 在本讲座中，我将介绍以太坊平台上称为sFuzz的新型智能合同自适应模糊器。
