SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds

@inproceedings{priyanka_sailfish_22,
  title     = {{SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds}},
  author    = {Bose, Priyanka and Das, Dipanjan and Chen, Yanju and Feng, Yu and Kruegel, Christopher and Vigna, Giovanni},
  booktitle = {In Proceedings of the IEEE Symposium on Security \& Privacy (S\&P)},
  month     = {May},
  year      = {2022}
}