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:
IEEE Symposium on Security and Privacy (2022)
Keyphrases
</>
supply chain
response time
expert systems
state space
artificial intelligence
knowledge base
image processing
website
dynamic programming