Login / Signup
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph.
Elvira Albert
Jesús Correas
Pablo Gordillo
Guillermo Román-Díez
Albert Rubio
Published in:
CoRR (2020)
Keyphrases
</>
flow graph
flow graphs
shortest path
random walk
control strategy
databases
information flow
learning algorithm
reinforcement learning
rough sets