An Improved Gas Efficient Library for Securing IoT Smart Contracts Against Arithmetic Vulnerabilities. - Jing Huey Khor; Mansur Aliyu Masama; Michail Sidorov; WeiChung Leong; JiaJun Lim (ICSCA, 2020)