paperbot · PL 论文追踪

全部论文 待读 收藏

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

FlashSyn：基于反例驱动近似的闪电贷攻击合成
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 2/10 · 该论文属于程序合成/安全方向，目标是自动合成 DeFi 闪电贷攻击，与用户关注的核心方向（PL 与 AI/LLM 结合、静态分析、浮点程序分析、贝叶斯程序分析）没有直接交集。虽然涉及反例驱动近似等 PL 技术，但既不涉及 LLM/Agent，也不涉及用户关心的 ML 系统或形式化验证与 LLM 的交叉。引用 26 inbox
Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long
程序合成安全与隐私
crossref: 2026-09-12

AI 速览

一句话：提出 FlashSyn，通过反例驱动近似自动合成闪电贷攻击，以发现 DeFi 协议漏洞。

在 DeFi 中，闪电贷允许借款人在单笔区块链交易内借入大额资产，且无需预先抵押，但必须在交易结束时连本带息归还。攻击者可利用闪电贷聚集大量资金，进而攻击存在漏洞的 DeFi 协议。论文提出 FlashSyn，面向闪电贷攻击的自动合成问题，采用反例驱动的近似策略来构造攻击交易序列。标题表明其核心是通过迭代近似与反例引导搜索，合成可执行的闪电贷攻击，从而暴露协议中的安全缺陷。给出的摘要仅说明问题背景与攻击动机，未提供具体技术细节、评估基准或实验结论。

问题
闪电贷使攻击者无需抵押即可在单笔交易内聚集大额资产，从而利用脆弱的 DeFi 协议；论文关注如何自动合成此类攻击。
方法
FlashSyn 采用反例驱动的近似方法来合成闪电贷攻击；摘要未展开具体算法与实现。
评估
给出的摘要未提供评估方法、基准或实验结果，因此无法概括其评估结论。
原文摘要（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.

链接与引用

DOI 原文 ·

BibTeX 
@inproceedings{paperbot11425,
  title = {FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation},
  author = {Zhiyang Chen and Sidi Mohamed Beillahi and Fan Long},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3597503.3639190}
}