Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications

Yue Duan, Xin Zhao, Yu Pan, Shucheng Li, Minghao Li, Fengyuan Xu, Mu Zhang