基于SmartVerif的比特币底层协议算力盗取漏洞发现
包象琳, 熊焰, 黄文超, 陈凯杰, 汪万森, 孟昭逸, 徐晓峰, 方贤进
Detection of the Computational Power Stealing Attack in Bitcoin Protocols Based on SmartVerif
BAO Xiang-lin, XIONG Yan, HUANG Wen-chao, CHEN Kai-jie, WANG Wan-sen, MENG Zhao-yi, XU Xiao-feng, FANG Xian-jin
电子学报 . 2021, (12): 2390 -2398 .  DOI: 10.12263/DZXB.20201194