Login / Signup
Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications.
Yue Duan
Xin Zhao
Yu Pan
Shucheng Li
Minghao Li
Fengyuan Xu
Mu Zhang
Published in:
CCS (2022)
Keyphrases
</>
fully automated
semi automated
supply chain
cooperative
distributed systems
smart environments
ubiquitous environments
neural network
distributed agents
smart grid
context sensitive
semi automatic
mobile devices
search algorithm
multi agent
machine learning
real world