Detection of the computational power stealing attack in Bitcoin protocols based on SmartVerif

[PDF] ejournal.org.cn

[PDF][PDF] TokenVis: 面向以太坊区块链ERC-20 智能合约演变模式的可视分析方法

李国政， 赵琮， 刘驰， 陈思明， 王国仁 - 电子学报, 2024 - ejournal.org.cn
区块链技术近年来受到了广泛关注. 区块链技术驱动的加密货币市场复杂且不稳定,
容易受到政治, 经济, 社会等各方面因素的影响. 现有的研究工作集中于原生加密货币 …
被引用次数：2 相关文章
[PDF] ieee.org

Comprehensive Formal Modeling and Automatic Vulnerability Detection for a Bitcoin-Compatible Mixing Protocol

X Bao, X Xu, P Zhang, T Liu - IEEE Access, 2022 - ieeexplore.ieee.org
Blindcoin applies a Bitcoin-compatible mixing protocol with a blind signature scheme to
improve the design of the popular Mixcoin. Given the openness of Bitcoin and the …
相关文章 所有 3 个版本

[引用][C] Applications of Internet of Things in offshore well drilling/completion

LI Jinman, SUN Jinsheng, HUO Hongbo, TAO Lin… - 石油钻采工艺, 2022 - 石油钻采工艺
相关文章