Verification Assisted Gas Reduction for Smart Contracts.

Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu

Browse the full APSEC paper archive.