您查看的活动已结束

活动内容收起展开

GitChat，聚合业界顶尖技术专家，是技术菁英知识付费分享社区与学习平台，打造“阅读+交流=知识+社交”新理念，满足IT从业者日新月异的知识学习需求，改变知识学习方式。

本场Chat与您交流：

DAO、Parity、BEC 等著名项目的市值几乎一夜归零，都是由于智能合约漏洞引起，智能合约究竟是什么？如何针对这些安全问题进行防范？

线上微信群讲师面对面交流时间

2018年7月17日（周二） 20:00-21:00

交流内容

1：智能合约是什么？

2：黑客是如何攻击交易所的智能合约？

3：形式化验证如何保障合约安全？

4：VaaS 平台的作用及优势？

5：实际案例展示

微信扫码可在活动结束后获取交流资料

活动嘉宾

紫霞

电子科技大学副教授，CC国际安全标准成员、CCF区块链专委会委员

最早研究区块链形式化验证的专家。一直为航空航天、军事领域提供形式化验证服务。主持国家核高基、装发重大软件课题等近10项国家课题。

活动流程

12:00-20:30

参会人员入群，自由交流

20:30-21:30

区块链智能合约及形式化验证平台 VaaS 讲解

21:30-22:00

自由交流 & 作者答疑

关于主办方

GitChat，聚合业界顶尖技术专家，是技术菁英知识付费分享社区与学习平台，打造“阅读+交流=知识+社交”新理念，满足IT从业者日新月异的知识学习需求，改变知识学习方式。

更多区块链技术资料，扫码直接获取 ↓↓↓

分享到微信 收藏107 举报活动

活动标签

最近参与

• 
  Bao
  收藏

  (6年前)

• 
  K&Q
  报名

  (6年前)

• 
  Byl
  报名

  (6年前)

• 
  Bao
  报名

  (6年前)

• 
  开心点儿
  报名

  (6年前)

• 
  创新
  报名

  (6年前)

您还可能感兴趣

您有任何问题，在这里提问！

×

下载App观看回放

×

扫码小程序报名