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