Login / Signup
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds.
Priyanka Bose
Dipanjan Das
Yanju Chen
Yu Feng
Christopher Kruegel
Giovanni Vigna
Published in:
CoRR (2021)
Keyphrases
</>
response time
state space
real time
database systems
artificial neural networks