Precise Attack Synthesis for Smart Contracts.

Yu Feng Emina Torlak Rastislav Bodík

Published in: CoRR (2019)

Keyphrases

supply chain
program synthesis
texture synthesis
countermeasures
secret key
smart environments
malicious attacks
malicious users
neural network
genetic algorithm
highly accurate
mechanical devices