Foundations and Tools for the Static Analysis of Ethereum smart contracts
Authors: Ilya Grishchenko, Matteo Maffei and Clara Schneidewind
Paper Information
| Title: | Foundations and Tools for the Static Analysis of Ethereum smart contracts |
| Authors: | Ilya Grishchenko, Matteo Maffei and Clara Schneidewind |
| Proceedings: | CAV All Papers |
| Editors: | Georg Weissenbacher, Hana Chockler and Igor Konnov |
| Keywords: | |
| Abstract: | |
| Pages: | 25 |
| Paper: |  |