FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation

Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long. FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation. In Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024. ACM, 2024. [doi]

@inproceedings{ChenBL24,
  title = {FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation},
  author = {Zhiyang Chen and Sidi Mohamed Beillahi and Fan Long},
  year = {2024},
  doi = {10.1145/3597503.3639190},
  url = {https://doi.org/10.1145/3597503.3639190},
  researchr = {https://researchr.org/publication/ChenBL24},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024},
  publisher = {ACM},
}