A Survey of Attacks on Ethereum Smart Contracts SoK
Citations
38 citations
Cites methods from "A Survey of Attacks on Ethereum Sma..."
...[4] performed analysis on vulnerabilities of smart contracts in Ethereum....
[...]
38 citations
Cites background from "A Survey of Attacks on Ethereum Sma..."
...• Writing contracts in a procedural language is error prone [46] since the order of instructions affects the correctness of the resulting contract, while logical contracts can be seen as a set of specifications, and the contracts are guaranteed to be correct with respect to the specifications....
[...]
38 citations
37 citations
Cites background from "A Survey of Attacks on Ethereum Sma..."
...As smart contracts grow in size and complexity, this issue becomes more worrying, and there have been well-known instances of such smart contracts that allow for misbehaviour, for instance, on Ethereum [4]....
[...]
37 citations
Cites background from "A Survey of Attacks on Ethereum Sma..."
...Static Analysis: Analysis of smart contracts has received substantial attention [55], [56] recently due to their security vulnerabilities [57], [58]....
[...]
References
2,964 citations
2,755 citations
1,495 citations
1,258 citations
1,232 citations