@misc{indiciae9e33cff43cb7,
  title = {Automated Attack Synthesis for Constant Product Market Makers},
  author = {Sujin Han and Jinseo Kim and Sung-Ju Lee and Insu Yun},
  year = {2025},
  doi = {10.1145/3728872},
  url = {https://arxiv.org/abs/2404.05297},
  note = {Source identifier: 2404.05297}
}