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]

Abstract

Abstract is missing.