电子学报2021，Vol.49Issue(12)：2390-2398,9.DOI:10.12263/DZXB.20201194
基于SmartVerif的比特币底层协议算力盗取漏洞发现
Detection of the Computational Power Stealing Attack in Bitcoin Proto-cols Based on SmartVerif
摘要
关键词
比特币/区块链/协议安全/符号模型/形式化分析分类
信息技术与安全科学引用本文复制引用
包象琳,熊焰,黄文超,陈凯杰,汪万森,孟昭逸,徐晓峰,方贤进..基于SmartVerif的比特币底层协议算力盗取漏洞发现[J].电子学报,2021,49(12):2390-2398,9.基金项目
国家自然科学基金(No.61972369,No.61572453,No.61572454) （No.61972369,No.61572453,No.61572454）
国家重点研发计划(No.2018YFB2100300) （No.2018YFB2100300）
安徽工程大学校级科研项目(No.XJKY2020122,No.XJKY2020119,No.XJKY2020120) （No.XJKY2020122,No.XJKY2020119,No.XJKY2020120）
安徽工程大学引进人才科研启动基金项目(No.2020YQQ062) （No.2020YQQ062）
