Insu Yun
Insu Yun
Home
Publications
Contact
Light
Dark
Automatic
Automated Attack Synthesis for Constant Product Market Makers (to appear)
Sujin Han
,
Jinseo Kim
,
Sung-Ju Lee
,
Insu Yun
June 2025
Cite
Publication
Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2025
Cite
×