当前位置:主页 > 列表页 > 正文

VNT Chain首席科学家在智能合约安全漏洞检测综述方向的高水平论文被CCF A类中文期刊录用

2021-05-19 22:55 | 出处: VNTChain



近日,VNT Chain首席科学家刘振广博士带领团队在智能合约安全漏洞检测综述方向取得最新科研成果——主题为《智能合约安全漏洞检测技术研究综述》的高水平论文被CCF A类中文期刊《软件学报》录用。
智能合约是区块链技术最成功的应用之一,为实现各式各样的区块链现实应用提供了基础,在区块链生态系统中处于至关重要的地位。然而,频发的智能合约安全事件不仅造成了巨大的经济损失,而且破坏了基于区块链的信用体系,智能合约的安全性和可靠性成为国内外研究的新关注点。VNT Chain在聚合链架构深入开发中,一直以安全、隐私与效率三方高效协同为第一要务,在智能合约安全性、数据隐私保护、区块链软件架构、SGX数据保护四个方向做突破。系统安全、数据保护一直是我们重中之重的研发方向,为赋能商业做好充足的准备。
论文首先从Solidity代码层、EVM执行层、区块链系统层这3个层面介绍了智能合约常见的漏洞类型和典型案例;继而,从形式化验证法、符号执行法、模糊测试法、中间表示法、深度学习法这5类方法综述了智能合约漏洞检测技术的研究进展,针对现有漏洞检测方法的可检测漏洞类型、准确率、时间消耗等方面进行了详细的对比分析,并讨论了它们的局限性和改进思路;最后,根据对现有研究工作的总结,探讨了智能合约漏洞检测领域面临的挑战,并结合深度学习技术展望了未来的研究方向。

该论文还详细比较分析了不同漏洞检测工具的可检测漏洞类型、性能、优缺点等,对智能合约安全漏洞方向的研究具有重要的参考价值。




作者郑重申明:截至发文时,作者与文中提及项目存在利益关系,特此告知。利益关系包括但不限于下述情况:本人为项目团队成员、本人是项目团队成员的直系亲属或配偶、参与投资该项目、持有该项目发行的股份或通证、参与做空或做多该项目、收取回报进行有偿撰文等。
相关文章