English
Related papers

Related papers: Formal Analysis of Composable DeFi Protocols

200 papers

The trustless nature of permissionless blockchains renders overcollateralization a key safety component relied upon by decentralized finance (DeFi) protocols. Nonetheless, factors such as price volatility may undermine this mechanism. In…

General Finance · Quantitative Finance 2021-12-14 Daniel Perez , Sam M. Werner , Jiahua Xu , Benjamin Livshits

The meteoric rise of Decentralized Finance (DeFi) has been accompanied by a plethora of frequent and often financially devastating attacks on its protocols There have been over 70 exploits of DeFi protocols, with the total of lost funds…

Cryptography and Security · Computer Science 2022-02-01 Daniel Perez , Lewis Gudgeon

Blockchain adoption has surged with the rise of Decentralized Finance (DeFi) applications. However, the significant value of digital assets managed by DeFi protocols makes them prime targets for attacks. Current smart contract vulnerability…

Cryptography and Security · Computer Science 2024-11-21 Hongbo Wen , Hanzhi Liu , Jiaxin Song , Yanju Chen , Wenbo Guo , Yu Feng

Much of the recent excitement around decentralized finance (DeFi) comes from hopes that DeFi can be a secure, private, less centralized alternative to traditional finance systems. However, people moving to DeFi sites in hopes of improving…

Cryptography and Security · Computer Science 2023-02-07 Philipp Winter , Anna Harbluk Lorimer , Peter Snyder , Benjamin Livshits

Decentralized Finance (DeFi), a blockchain powered peer-to-peer financial system, is mushrooming. Two years ago the total value locked in DeFi systems was approximately 700m USD, now, as of April 2022, it stands at around 150bn USD. The…

Cryptography and Security · Computer Science 2022-09-16 Sam M. Werner , Daniel Perez , Lewis Gudgeon , Ariah Klages-Mundt , Dominik Harz , William J. Knottenbelt

Decentralized finance, powered by blockchain technology, is growing day by day. This field, which emerged a few years ago, today manages $70 billion in assets. In this study, the concept of decentralized finance is discussed and explained…

General Finance · Quantitative Finance 2023-04-05 Mansur Bestas

Decentralized finance, i.e., DeFi, has become the most popular type of application on many public blockchains (e.g., Ethereum) in recent years. Compared to the traditional finance, DeFi allows customers to flexibly participate in diverse…

Cryptography and Security · Computer Science 2021-03-05 Bin Wang , Han Liu , Chao Liu , Zhiqiang Yang , Qian Ren , Huixuan Zheng , Hong Lei

We provide an overview of decentralized protocols like Compound and Aave that offer collateralized loans for cryptoasset investors. Compound and Aave are two of the most important application in the decentralized finance (DeFi) ecosystem.…

General Finance · Quantitative Finance 2021-08-02 Carlos Castro-Iragorri , Julian Ramirez , Sebastian Velez

Cryptocurrency can be understood as a digital asset transacted among participants in the crypto economy. Every cryptocurrency must have an associated Blockchain. Blockchain is a Distributed Ledger Technology (DLT) which supports…

Computers and Society · Computer Science 2024-05-20 Carlos Alberto Durigan Junior , Fernando Jose Barbin Laurindo

Decentralized finance (DeFi) protocols now intermediate over USD 100 billion in value, including regulated stablecoins and tokenized assets deployed as collateral, yet no widely adopted framework operationalizes risk assessment at the rigor…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-07 Eva Oberholzer , Valeriy Zamaraiev

With the development of decentralized finance (DeFi), lending protocols have been increasingly proposed in the market. A comprehensive and in-depth evaluation of lending protocol is essential to the DeFi market participants. Due to the…

Social and Information Networks · Computer Science 2023-03-03 Shuai Yang , Wei Cui

Decentralized Finance (DeFi) leverages blockchain-enabled smart contracts to deliver automated and trustless financial services without the need for intermediaries. However, the public visibility of financial transactions on the blockchain…

Cryptography and Security · Computer Science 2025-10-20 Huned Materwala , Shraddha M. Naik , Aya Taha , Tala Abdulrahman Abed , Davor Svetinovic

This research introduces the Decentralized Finance (DeFi) TrustBoost Framework, which combines blockchain technology and Explainable AI to address challenges faced by lenders underwriting small business loan applications from low-wealth…

Cryptography and Security · Computer Science 2025-12-02 Swati Sachan , Dale S. Fickett

Decentralized finance (DeFi) borrowing and lending platforms are crucial to the decentralized economy, involving two main participants: lenders who provide assets for interest and borrowers who offer collateral exceeding their debt and pay…

Computational Engineering, Finance, and Science · Computer Science 2024-07-16 Mahsa Bastankhah , Viraj Nadkarni , Xuechao Wang , Chi Jin , Sanjeev Kulkarni , Pramod Viswanath

We explore the adoption of graph representation learning (GRL) algorithms to investigate similarities across services offered by Decentralized Finance (DeFi) protocols. Following existing literature, we use Ethereum transaction data to…

Statistical Finance · Quantitative Finance 2024-04-25 Junliang Luo , Stefan Kitzler , Pietro Saggese

Decentralized Finance (DeFi) took shape in 2020. An unprecedented amount of over 14 billion USD moved into DeFi projects offering trading, loans and insurance. But its growth has also drawn the attention of malicious actors. Many projects…

Cryptography and Security · Computer Science 2021-06-22 Kris Oosthoek

Compound Finance is a decentralized lending protocol that enables the secure and efficient borrowing and lending of cryptocurrencies, utilizing smart contracts and dynamic interest rates based on supply and demand to facilitate…

Risk Management · Quantitative Finance 2024-10-08 Rik Ghosh , Samrat Gupta , Arka Datta , Abhimanyu Nag , Sudipan Sinha

The rise of Decentralized Finance (DeFi) has brought novel financial opportunities but also exposed serious security vulnerabilities, with flash loans frequently exploited for price manipulation attacks. These attacks, leveraging the atomic…

Cryptography and Security · Computer Science 2025-02-25 Ka Wai Wu

Ethereum and its standardized token interface have formed decentralized finance (DeFi), an open financial system based on blockchain smart contracts. The DeFi ecosystem has become richer with the introduction of DeFi composability projects,…

Computer Science and Game Theory · Computer Science 2022-12-05 HyoungSung Kim , Hyun-Sik Kim , Yong-Suk Park

Decentralized finance (DeFi) lacks centralized oversight, often resulting in heightened volatility. In contrast, centralized finance (CeFi) offers a more stable environment with institutional safeguards. Institutional backing can play a…

Computational Finance · Quantitative Finance 2025-12-23 Ihlas Sovbetov