TY  - RPRT
TI  - A Semantic Framework for the Security Analysis of Ethereum smart contracts
AU  - Ilya Grishchenko
AU  - Matteo Maffei
AU  - Clara Schneidewind
PY  - 2018
DO  - 10.1007/978-3-319-89722-6_10
UR  - https://arxiv.org/abs/1802.08660
ID  - 1802.08660
ER  -