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

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Ligatti, Jay; Ou, Xinming; Katz, Jonathan; Vigna, Giovanni; Schneidewind, Clara; Grishchenko, Ilya; Scherer, Markus; Maffei, Matteo

Journal title: CCS '20: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security

Journal publisher: ACM

Published year: 2020