499Block加油站第83期| 成都链安科技,探索区块链行业顶尖安全卫士

2019年10月28日 07:16


摘 要

大家在选择安全公司时,一定要看看创始人的背景,这点非常重要,因为创始人的背景,决定了公司的价值观。如果发现安全公司作恶,大家一定要拿起法律的武器。

《加油站》83期访谈实录:



Vivian:8月28日是全球区块链女性日。今天我们499加油站很荣幸地请到了区块链安全领域的女性创业者,杨霞博士。


杨霞:大家好,我是成都链安科技创始人&CEO 杨霞,今天非常荣幸来到499做客。


Vivian:那么今天的访谈就正式开始啦。一共分为五个板块。

 

杨霞:有朋友看到我们在招人中,欢迎大家加入我们哦。

 

Vivian:按照惯例,咱们先介绍一下杨博士的背景以及和区块链行业的渊源,请问:您什么时候开始接触加密货币和区块链呢?进入区块链之前,从事哪个行业的呀? 

 

杨霞:各位朋友大家晚上好,非常荣幸有机会和大家做一些分享。我之前主要做军事领域关键系统安全方面的研究,我从事安全领域18年。2016年以太坊第一个安全漏洞的发生把我的兴趣逐步转移到区块链中,DAO系统智能合约安全事件导致5000多万美元的损失,这个事件让我意识到区块链智能合约安全是非常关键的问题,也需要有这方面的技术人员来提供一些安全保障。所以,从2016年下半年开始,面向区块链,尤其是智能合约的安全性我逐渐展开了研究。我从2016年开始,尝试采用形式化验证技术解决智能合约的安全问题。在这之前,我一直为航空、航天等安全关键领域服务。主要研究形式化验证,内核安全,可信计算,移动端安全等。


贴一段我个人的介绍吧。杨霞,中国顶级区块链安全公司,成都链安科技创始人&CEO,电子科技大学 副教授,博士后。全球最早将形式化验证技术应用于区块链安全的专家。从事计算机安全研究18年,一直为航空航天领域提供形式化验证和系统安全服务。主持10多项国家课题的研发。CC国际安全标准成员、CCF区块链专委会委员、CCF形式化验证专委会委员。发表学术论文30多篇,申请20多项专利。全球最早将形式化验证技术应用到区块链领域的专家,率先研发了全球领先的面向多个区块链平台(如Eth,EOS,Fabric等多个区块链平台)智能合约自动化形式化验证平台VaaS,该平台获全国首届中小微企业“SaaS”应用创新创业大赛冠军。连续两年受邀在万向区块链全球峰会演讲,受邀参加CSDN,巴比特区块链等举办的区块链技术大会,并发表演讲。