Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications.

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

Browse the full CCS paper archive.