TY  - RPRT
TI  - eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
AU  - Clara Schneidewind
AU  - Ilya Grishchenko
AU  - Markus Scherer
AU  - Matteo Maffei
PY  - 2020
UR  - https://arxiv.org/abs/2005.06227
ID  - 2005.06227
ER  -