Login / Signup
VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts.
Sunbeom So
Myungho Lee
Jisu Park
Heejo Lee
Hakjoo Oh
Published in:
IEEE Symposium on Security and Privacy (2020)
Keyphrases
</>
supply chain
genetic algorithm
neural network
social networks
expert systems
information technology
smart grid
traffic accidents