A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
[article]
2020
arXiv
pre-print
Ethereum has emerged as the most popular smart contract development platform, with hundreds of thousands of contracts stored on the blockchain and covering a variety of application scenarios, such as auctions, trading platforms, and so on. Given their financial nature, security vulnerabilities may lead to catastrophic consequences and, even worse, they can be hardly fixed as data stored on the blockchain, including the smart contract code itself, are immutable. An automated security analysis of
arXiv:2005.06227v1
fatcat:fyo2hk6uzbd3rjkhlwno3osa4m