课程介绍

• 

  杨霞

  CEO/董事长/总经理

  CC国际安全标准成员、CCF区块链专委会委员、电子科技大学副教授、区块链形式化验证的专家、成都链安科技创始人。一直为航空航天、军事领域提供形式化验证服务；主持国家核高基、装发重大软件等近10项国家课题；发表技术型学术论文30多篇；申请20多项技术专利。

• 主题说明

  讲解区块链安全领域的现状，分析黑客是如何攻击区块链平台的智能合约，针对安全问题对智能合约进行形式化验证，并实操验证出以太坊、EOS智能合约及区块链相关漏洞，后作出分析及总结。

• 适合对象

  项目方，交易所，黑客，技术人员

• 学习要点

  1、形式化验证的定义、原理

  2、分析黑客攻击区块链平台智能合约

  3、VaaS对EOS、ETH智能合约的审计实操

  4、区块链主要漏洞分析及防范

   

  扫描下方二维码 备注“7.24”入群交流

  

• 课时安排

  注：

  1、请认真填写手机号、邮箱信息，避免错过课程提醒

  2、成功报名进入课程中直播页面

  3、成功入群才可与讲师近距离答疑，添加微信：18801472909 备注“7.24”入群

   

  课程安排如下：

  18:45—19:00  学员提前入场

  19:00—19:45  讲师上课

  19:45—20:00  讲师答疑环节