Emilio Jesús Gallego Arias. Towards Principled Compilation of Ethereum Smart Contracts (SoK). In 10th IFIP International Conference on New Technologies, Mobility and Security, NTMS 2019, Canary Islands, Spain, June 24-26, 2019. pages 1-5, IEEE, 2019. [doi]
Abstract is missing.