微信里点“发现”，扫一下
二维码便可将本文分享至朋友圈
演讲摘要：随着区块链技术及应用在各行各业落地实施，其安全问题也愈加凸显，智能合约和链平台的安全问题已经导致巨大的资产损失。同时，金融安全也面临风险与挑战。围绕上述安全问题，报告从智能合约和链平台存在的安全风险、安全检测和验证技术、安全态势感知、安全监管等方面分享区块链安全保障一体化解决方案。
讲者简介：郭文生，电子科技大学副教授、博士，成都链安创始人&CTO，人工智能和形式化验证技术专家，CCF区块链专委会委员，四川省海外高层次留学人才，成都市高新区急需紧缺人才和高端人才。 从事区块链安全技术、区块链底层技术、计算机网络技术、形式化方法与技术、人工智能等领域的研究，主持和参与了多项国家重大专项、省部级项目。发表SCI论文10余篇，申请或授权发明专利和软件著作权数十项。作为成都链安科技有限公司的CTO，全球最早将形式化验证技术应用到区块链的安全专家，组织开发了“一站式”区块链安全服务平台：智能合约自动形式化验证工具、区块链态势感知系统、安全舆情等全方位的区块链安全服务平台。其主导的科研项目虚拟货币风险监测分析关键技术与应用项目获得省部级二等奖。此外，成都链安主导的“虚拟货币智能研判平台—智慧助警”项目入选中国中央网信办示范试点项目。
第五届CCF中国区块链技术大会
区块链隐私保护与监管论坛
京公网安备11010802032778号