Oracle-Supported Dynamic Exploit Generation for Smart Contracts
IEEE Transactions on Dependable and Secure Computing(2022)
摘要
Despite the high stakes involved in smart contracts, they are often developed in an undisciplined manner, leaving the security and reliability of blockchain transactions at risk. In this article, we introduce ContraMaster—an oracle-supported dynamic exploit generation framework for smart contracts. Existing approaches mutate only single transactions; ContraMaster exceeds these by mutating the tran...
更多查看译文
关键词
Smart contracts,Blockchain,Semantics,Cryptography,Fuzzing,Computer science,Solid modeling
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络