链安科技

链安科技

一站式区块链安全服务平台


基本信息

  • 成立时间: 2018-03
  • 所在国家: 中国成都
  • 公司官网: 官网链接
  • 微博微博地址
  • 推特推特地址
  • 成都总部成都市武侯区世纪城南路599号天府软件园D7座504室
  • 北京分部北京市朝阳区广顺北大街36号 梦想加空间305室
  • 深圳分部深圳市南山区讯美科技广场3号楼16D
  • 企业邮箱vaas@lianantech.com
  • 联系电话028-8326-2585

链安科技简介

成都链安是全球最早专门从事区块链安全的公司,也是最早将形式化验证技术应用到区块链安全领域的团队,研发了全球领先的智能合约自动形式化验证平台VaaS,并基于此,建立了Beosin“一站式”区块链安全平台,为区块链企业提供安全审计、资产追溯与AML反洗钱、隐私保护、威胁情报、安全防护、安全咨询等全方位的安全服务与支持。申请软件发明专利和著作权15项。

成都链安科技有限公司,专注区块链安全领域,总部位于成都。由电子科技大学杨霞教授和郭文生教授共同创建,团队核心成员由30多名来自海外知名高校和实验室(CSDS、耶鲁、UCLA)留学经历的副教授、博士后、博士、硕士及阿里、华为等知名企业精英组成。其核心技术为形式化验证,该团队使用此技术为航天、军事等领域的安全关键系统提供多年的形式化验证服务,是国内唯一一家将此技术应用到区块链安全领域的公司。

成都链安科技作为分布式战略投资的唯一区块链安全公司,已与Huobi、OKEX、KuCoin、LBank、CoinMex、Becent、ONT、Scry、CareerOn、IoTeX、DALICHAIN、Bplus、比原链、布比区块链、云象区块链等多家单位签订战略合作协议。 并与全球顶级的形式化验证团队法国Inria达成合作。在国家工信部发布的《2018中国区块链产业白皮书》中公司榜上有名。公司已经入选Etherscan智能合约安全审计推荐名单。

公司团队信息

  • 杨霞 创始人兼CEO

    杨霞女士,电子科技大学副教授、博士后,区块链形式化验证权威专家,形式化验证理论和方法专家,从事形式化验证多年,曾为多家军口单位(神州飞船控制系统,导弹控制系统等)研制关键软件的形式化验证,CCF区块链专委会成员,曾担任多家公司的创始人。发表30多篇,申请20多项专利。

  • 郭文生 CTO

    郭文生,链安科技CTO。电子科技大学副教授、博士,形式化验证技术专家,长期从事计算机网络,人工智能,形式化验证技术研究和项目开发,承担国家级、省部级项目多项,发表论文多篇,授权发明专利多项,主持国家重大课题多项,发表论文多篇,申请专利10多项,担任2家公司的CTO。

  • 高子扬 CMO

    高子扬先生,链安科技CMO。马德里康普斯顿学士,广西大学法律硕士。自2012年起接触区块链技术,发起了西班牙比特币论坛,参与多个项目的投资孵化管理,united labs投资联盟成员。