@inproceedings{priyanka22:sailfish,
  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 = {Proceedings of the IEEE Symposium on Security and Privacy (SP)},
  address   = {San Francisco, CA},
  month     = {May},
  year      = {2022}
}