@misc{indiciaed9cbc1c7ba9f,
  title = {SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds},
  author = {Priyanka Bose and Dipanjan Das and Yanju Chen and Yu Feng and Christopher Kruegel and Giovanni Vigna},
  year = {2021},
  url = {https://arxiv.org/abs/2104.08638},
  note = {Source identifier: 2104.08638}
}