Talks and Poster Presentations (with Proceedings-Entry):
C. Schneidewind, M. Scherer, M. Maffei:
"The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts";
Talk: International Symposium on Leveraging Applications of Formal Methods (ISoLA),
Rhodes;
2020-10-20
- 2020-10-30; in: "International Symposium On Leveraging Applications of Formal Methods, Verification and Validation",
Springer,
7609
(2020),
ISBN: 978-3-642-34025-3;
1
- 20.
English abstract:
Ethereum smart contracts are distributed programs running on top of the Ethereum blockchain. Since program flaws can cause significant monetary losses and can hardly be fixed due to the immutable nature of the blockchain, there is a strong need of automated analysis tools which provide formal security guarantees. Designing such analyzers, however, proved to be challenging and error-prone. We review the existing approaches to automated, sound, static analysis of Ethereum smart contracts and highlight prevalent issues in the state of the art. Finally, we overview eThor, a recent static analysis tool that we developed following a principled design and implementation approach based on rigorous semantic foundations to overcome the problems of past works
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-61467-6_14
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_289746.pdf
Created from the Publication Database of the Vienna University of Technology.