eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei

2020Published
112Citations
0References
proceedings articleType

Journal: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security

Publisher: ACM

View on DOI

Citations are the number of DOI-registered works in Crossref that cite this paper; references are how many works it cites. Full text is on the publisher site via the DOI link.