成都链安杨霞受邀在中国工业信息安全大会上作报告，呼吁关注区块链安全问题...

6月21日，2019年中国工业信息安全大会在北京国际会议中心举办，成都链安CEO＆创始人杨霞教授受邀参会并发表特邀报告“区块链安全问题及解决办法”，呼吁你们关注区块链这一新兴行业所面临的安全问题，一同制定行业的安全规范和标准。html 在报告中，杨教授对公链、联盟链、智能合约、DApp应用等安全问题做出分析并提出相应解决方案，重点讲解了如何运用形式化验证方法解决智能合约安全问题。git 她指出，针

>>阅读原文<<