Static Analysis of Integer Overflow of Smart Contracts in Ethereum. - Enmei Lai; Wenjun Luo (ICCSP, 2020)