Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 07, 2022
Source ID
10.1145/3548606.3559384

Entities

People

  • Fengyuan Xu
  • Minghao Li
  • Mu Zhang
  • Shucheng Li
  • Xin Zhao
  • Yanan Duan
  • Yu Pan

Organizations

  • Defense Advanced Research Projects Agency
  • Harvard University
  • Illinois Institute of Technology
  • Nanjing University
  • National Science Foundation
  • University of Utah