Automated Attack Synthesis for Constant Product Market Makers
| Title: | Automated Attack Synthesis for Constant Product Market Makers |
|---|---|
| Authors: | Han, Sujin; Kim, Jinseo; Lee, Sung-Ju; Yun, Insu |
| Source: | Proceedings of the ACM on Software Engineering. 2(ISSTA):47-68 |
| Availability: | http://dl.acm.org/doi/10.1145/3728872 |
| Database: | ACM Full-Text Collection |