SmartScan：一种检测以太坊智能合约中拒绝服务漏洞的方法
密码学与安全
2021-05-21 v3
摘要
区块链技术（BT）以太坊智能合约允许在 BT 网络上点对点之间转移货币资产的可编程交易，且独立于中心授权机构。以太坊智能合约是作为去中心化应用部署的程序，具有区块链共识协议的构建模块。该技术使消费者能够在透明且无冲突的环境中达成协议。然而，这些智能合约中的安全漏洞对应用及其消费者构成潜在威胁，且过去已表明会造成巨大财务损失。在本文中，我们提出一个结合静态与动态分析以检测因以太坊智能合约中意外回退（unexpected revert）而导致的拒绝服务（DoS）漏洞的框架。我们的框架 SmartScan 静态扫描待测智能合约（SCUTs）以识别这些 SCUTs 中潜在脆弱的模式，随后使用动态分析精确确认其 DoS-意外回退漏洞的可利用性，从而实现更高的性能与更精确的结果。我们在从 Etherscan 收集的 500 个智能合约集合上评估了 SmartScan。与现有最先进技术相比，我们的方法在精确率与召回率上均有提升。
引用
@article{arxiv.2105.02852,
title = {SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts},
author = {Noama Fatima Samreen and Manar H. Alalfi},
journal= {arXiv preprint arXiv:2105.02852},
year = {2021}
}