Enmei Lai, Wenjun Luo. Static Analysis of Integer Overflow of Smart Contracts in Ethereum. In ICCSP 2020: 4th International Conference on Cryptography, Security and Privacy, Nanjing, China, January 10-12, 2020. pages 110-115, ACM, 2020. [doi]
Abstract is missing.