Jiao Jiao, Shuanglong Kan, Shang-Wei Lin 0001, David Sanán, Yang Liu 0003, Jun Sun 0001. Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020. pages 1695-1712, IEEE, 2020. [doi]
Abstract is missing.