@misc{indiciae48404a038025,
  title = {SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis},
  author = {Zeqin Liao and Sicheng Hao and Yuhong Nan and Zibin Zheng},
  year = {2024},
  doi = {10.1145/3597926.3598111},
  url = {https://arxiv.org/abs/2406.15988},
  note = {Source identifier: 2406.15988}
}