Sign in

SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds.

Priyanka BoseDipanjan DasYanju ChenYu FengChristopher KruegelGiovanni 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