Towards Verifying Ethereum Smart Contracts at Intermediate Language Level.

Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han

Browse the full ICFEM paper archive.