StateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract.

Zongwei Li, Wenkai Li, Xiaoqi Li, Yuqing Zhang

Browse the full WWW paper archive.