FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation

Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long

Abstract

In decentralized finance (DeFi), lenders can offer flash loans to borrowers, i.e., loans that are only valid within a blockchain transaction and must be repaid with fees by the end of that transaction. Unlike normal loans, flash loans allow borrowers to borrow large assets without upfront collaterals deposits. Malicious adversaries use flash loans to gather large assets to exploit vulnerable DeFi protocols.

BibTeX

@inproceedings{Chen-al:ICSE24,
  author    = {Zhiyang Chen and
               Sidi Mohamed Beillahi and
               Fan Long},
  title     = {{FlashSyn:} Flash Loan Attack Synthesis via Counter Example Driven Approximation},
  booktitle = {ICSE},
  pages     = {142:1--142:13},
  publisher = {{ACM}},
  year      = {2024},
}

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation

Abstract

Related papers