@misc{indiciaea1a031c29bed,
  title = {Demystifying Invariant Effectiveness for Securing Smart Contracts},
  author = {Zhiyang Chen and Ye Liu and Sidi Mohamed Beillahi and Yi Li and Fan Long},
  year = {2024},
  doi = {10.1145/366078},
  url = {https://arxiv.org/abs/2404.14580},
  note = {Source identifier: 2404.14580}
}