A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Foundations and Tools for the Static Analysis of Ethereum Smart Contracts
[chapter]
2018
Lecture Notes in Computer Science
The recent growth of the blockchain technology market puts its main cryptocurrencies in the spotlight. Among them, Ethereum stands out due to its virtual machine (EVM) supporting smart contracts, i.e., distributed programs that control the flow of the digital currency Ether. Being written in a Turing complete language, Ethereum smart contracts allow for expressing a broad spectrum of financial applications. The price for this expressiveness, however, is a significant semantic complexity, which
doi:10.1007/978-3-319-96145-3_4
fatcat:2zoadm5v7ja3xnyfl26hkfz6pm