Automated Attack Synthesis for Constant Product Market Makers (to appear)

Sujin Han, Jinseo Kim, Sung-Ju Lee, Insu Yun
June 2025
Publication
Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2025