Formal Analysis of Composable DeFi Protocols

Formal Analysis of Composable DeFi Protocols

28 February 2021

Yang Liu

Papers citing "Formal Analysis of Composable DeFi Protocols"

10 / 10 papers shown

Title
Temporarily Restricting Solidity Smart Contract Interactions Valerian Callens Zeeshan Meghji J. Gorzny 16 4 0 15 May 2024
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation Ye Liu Yue Xue Daoyuan Wu Yuqiang Sun Yi Li Miaolei Shi Yang Liu 39 21 0 04 May 2024
Demystifying Invariant Effectiveness for Securing Smart Contracts Zhiyang Chen Ye Liu Sidi Mohamed Beillahi Yi Li Fan Long 20 10 0 22 Apr 2024
Investigating Similarities Across Decentralized Financial (DeFi) Services Junliang Luo Stefan Kitzler Pietro Saggese 19 0 0 23 Mar 2024
Empirical Review of Smart Contract and DeFi Security: Vulnerability Detection and Automated Repair Peng Qian Rui Cao Zhenguang Liu Wenqing Li Ming Li Lun Zhang Yufeng Xu Jianhai Chen Qinming He 10 7 0 05 Sep 2023
Liquidity Risks in Lending Protocols: Evidence from Aave Protocol Xiaotong Sun C. Stasinakis G. Sermpinis 11 6 0 23 Jun 2022
Disentangling Decentralized Finance (DeFi) Compositions Stefan Kitzler Friedhelm Victor Pietro Saggese Bernhard Haslhofer 14 47 0 05 Nov 2021
SoK: Decentralized Finance (DeFi) Sam M. Werner Daniel Perez L. Gudgeon Ariah Klages-Mundt D. Harz William J. Knottenbelt 72 261 0 21 Jan 2021
Towards A First Step to Understand Flash Loan and Its Applications in DeFi Ecosystem Dabao Wang Siwei Wu Ziling Lin Lei Wu Xingliang Yuan Yajin Zhou Haoyu Wang K. Ren 6 28 0 23 Oct 2020
An analysis of Uniswap markets Guillermo Angeris Hsien-Tang Kao Rei Chiang C. Noyes Tarun Chitra 93 190 0 08 Nov 2019