FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation.

Zhiyang Chen Sidi Mohamed Beillahi Fan Long

Published in: CoRR (2022)

Keyphrases

closed form
approximation error
texture synthesis
approximation methods
program synthesis
foreseeable future
decision support system
countermeasures
queueing networks
relative error
detection mechanism
attack detection
functional programs