您查看的活动已结束

嘉宾：吴家志    PeckShield研发副总

嘉宾介绍：吴家志，美国北卡州立大学计算机博士；原360 C0RE Team创始成员，并担任团队负责人；原360超级ROOT产品负责人；内核安全专家。曾发现多个有重大影响的安全漏洞，并多次荣获谷歌、高通、华为等厂商的致谢；目前专注于区块链智能合约安全以及数据分析。

演讲主题：区块链智能合约及公链安全

主题介绍：探讨以太坊智能合约方面的安全问题、漏洞实际案例，例如BatchOverflow、ProxyOverflow、TransferFlaw等。同时介绍以太坊公链安全问题，例如EPoD、Freether。

嘉宾：高雪峰    360信息安全部负责人、360 Nirvan Team创始人

嘉宾介绍：高雪峰，负责公司安全开发、网络安全、系统安全、移动安全、安全架构设计。具有多年的互联网企业安全体系建设实践经验。

演讲主题：待定

主题介绍：待定

嘉宾：于超   北京知道创宇安全服务部技术专家、高级渗透测试工程师

嘉宾介绍：于超，专注于互联网安全领域，擅长Web安全技术与渗透测试，曾特邀担任Kcon2017渗透测试高级培训讲师，获得过ISW2017内网渗透比赛冠军，拥有丰富的实战经验。曾为中国平安集团、拉勾网、陆金所、凡普金科、比特大陆等多家大型互联网集团企业提供渗透测试、应急响应、安全培训等多项服务。

演讲主题：安全工程师眼中的智能合约

主题介绍：以太坊作为区块链2.0的代表，如今被应用到金融、游戏等各个领域，而智能合约作为以太坊最鲜明的特色在其中发挥了很大的作用。本次将从一个安全工程师的角度出发，谈谈智能合约在现代区块链应用中充当的角色，同时对智能合约中可能存在的安全风险提出自己的看法与见解。

嘉宾：郭文生   成都链安科技联合创始人&CTO

嘉宾介绍：郭文生，电子科技大学副教授、博士，形式化验证技术专家，长期从事形式化方法和理论的研究，主持国家重大课题多项，发表论文多篇，申请专利10多项，担任2家公司CTO。

演讲主题：如何解决智能合约安全问题

主题介绍：从区块链安全事件出发，探讨如何解决智能合约安全问题及形式化验证在其中扮演的角色，包括形式化验证的数学原理、作用、经典案例。同时将介绍支持EOS，以太坊等多个平台的自动化智能合约的形式化验证工具。