Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts.

Christof Ferreira Torres Julian Schütte Radu State

Published in: ACSAC (2018)

Keyphrases

source code
supply chain
neural network
test cases
minimum cost flow
real time
root cause
smart environments
virtual machine
software systems
shortest path
iris recognition
programming language
static analysis
smart grid
artificial intelligence
data sets