.png){kind=icon}
返回
Oracle-Supported Dynamic Exploit Generation for Smart Contracts
.png){kind=icon}
OA
AI
DOI：10.1109/TDSC.2020.3037332.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
尽管智能合约涉及很高的风险，但它们通常以无纪律的方式开发，使区块链交易的安全性和可靠性面临风险。在本文中，我们介绍ContraMaster-oracle支持的智能合约动态漏洞生成框架。现有方法仅使单个事务发生突变; ContraMaster通过改变事务序列来超越这些。ContraMaster使用数据流，控制流和动态合同状态来指导其突变。然后，它监视目标合同程序的执行，并根据通用语义测试oracle验证结果以发现漏洞。作为一种动态技术，它保证每个发现的漏洞都违反了测试oracle，并且能够生成攻击脚本以利用此漏洞。与基于规则的方法相比，ContraMaster没有显示任何误报，并且它很容易推广到未知类型的漏洞 (例如，逻辑错误)。我们评估了218脆弱的智能合约的ContraMaster。实验结果证实了其实用性和优于最新技术的优势，并揭示了三种新的攻击类型。
Keyword:
Smart contracts
Blockchain
Semantics
Cryptography
Fuzzing
Computer science
Solid modeling
Smart contract
test oracle
security vulnerability
fuzzing
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
7.5
论文数:
2.6K
被引数:
9.6K
机构
引用论文
Correlation technique investigation for islanding detection of inverter based distributed generation基于逆变器的分布式电源孤岛检测相关技术研究
.png){kind=icon}
PREAI
分享收藏分享收藏Effects of HIV-1 infection on malaria parasitemia in milo sub-location, western KenyaHIV-1感染对肯尼亚西部milo子地点的疟疾寄生虫血症的影响OAAI
OAAI分享收藏A prospective study of a one-week nonbismuth quadruple therapy for childhood Helicobacter pylori infection为期一周的非铋剂四联疗法治疗儿童幽门螺杆菌感染的前瞻性研究
PREAI
分享收藏Dataset on the effect of Rubicon overexpression on polyglutamine-induced locomotor dysfunction in Drosophila关于Rubicon过表达对果蝇中多谷氨酰胺诱导的运动功能障碍的影响的数据集OAAI
OAAI分享收藏
查看更多内容