Automated Attack Synthesis for Constant Product Market Makers

Sujin Han, Jinseo Kim, Sung-Ju Lee +1

Decentralized Finance (DeFi) enables many novel applications that were impossible in traditional finances. However, it also introduces new types of vulnerabilities. An example of s…