English
Related papers

Related papers: Formal Analysis of Composable DeFi Protocols

200 papers

We present a measurement study on compositions of Decentralized Finance protocols, which aim to disrupt traditional finance and offer services on top of distributed ledgers, such as Ethereum. DeFi compositions may impact the development of…

Cryptography and Security · Computer Science 2022-10-03 Stefan Kitzler , Friedhelm Victor , Pietro Saggese , Bernhard Haslhofer

Decentralized Finance (DeFi) applications introduce novel financial instruments replicating and extending traditional ones through blockchain-based smart contracts. Among these applications, DeFi derivatives protocols enable the creation…

Computer Science and Game Theory · Computer Science 2026-05-05 Luca Pennella , Pietro Saggese , Fabio Pinelli , Letterio Galletta

Decentralized Finance (DeFi) is a system of financial products and services built and delivered through smart contracts on various blockchains. In the past year, DeFi has gained popularity and market capitalization. However, it has also…

Machine Learning · Computer Science 2023-05-29 Arianna Trozze , Bennett Kleinberg , Toby Davies

Decentralized Finance (DeFi) is emerging as a peer-to-peer financial ecosystem, enabling participants to trade products on a permissionless blockchain. Built on blockchain and smart contracts, the DeFi ecosystem has experienced explosive…

Cryptography and Security · Computer Science 2023-09-07 Peng Qian , Rui Cao , Zhenguang Liu , Wenqing Li , Ming Li , Lun Zhang , Yufeng Xu , Jianhai Chen , Qinming He

Financial markets are undergoing an unprecedented transformation. Technological advances have brought major improvements to the operations of financial services. While these advances promote improved accessibility and convenience,…

Trading and Market Microstructure · Quantitative Finance 2023-12-05 Agostino Capponi , Garud Iyengar , Jay Sethuraman

Decentralised Finance (DeFi) applications constitute an entire financial ecosystem deployed on blockchains. Such applications are based on complex protocols and incentive mechanisms whose financial safety is hard to determine. Besides,…

Software Engineering · Computer Science 2022-09-19 Massimo Bartoletti , James Chiang , Tommi Junttila , Alberto Lluch Lafuente , Massimiliano Mirelli , Andrea Vandin

Decentralized Finance (DeFi) is a prominent application of smart contracts, representing a novel financial paradigm in contrast to centralized finance. While DeFi applications are rapidly emerging on mainstream blockchain platforms, their…

Software Engineering · Computer Science 2024-01-12 Wei Ma , Chenguang Zhu , Ye Liu , Xiaofei Xie , Yi Li

Decentralized Finance (DeFi) is a new paradigm in the creation, distribution, and utilization of financial services via the integration of blockchain technology. Our research conducts a comprehensive introduction and meticulous…

Cryptography and Security · Computer Science 2023-12-04 Erya Jiang , Bo Qin , Qin Wang , Zhipeng Wang , Qianhong Wu , Jian Weng , Xinyu Li , Chenyang Wang , Yuhang Ding , Yanran Zhang

Decentralized applications are often composed of multiple interconnected smart contracts. This is especially evident in DeFi, where protocols are heavily intertwined and rely on a variety of basic building blocks such as tokens,…

Cryptography and Security · Computer Science 2025-05-27 Emily Priyadarshini , Massimo Bartoletti

DeFi, or Decentralized Finance, is based on a distributed ledger called blockchain technology. Using blockchain, DeFi may customize the execution of predetermined operations between parties. The DeFi system use blockchain technology to…

Cryptography and Security · Computer Science 2023-04-27 Wenkai Li , Jiuyang Bu , Xiaoqi Li , Hongli Peng , Yuanzheng Niu , Yuqing Zhang

Complex DeFi services are usually constructed by composing a variety of simpler smart contracts. The permissionless nature of the blockchains where these smart contracts are executed makes DeFi services exposed to security risks, since…

Cryptography and Security · Computer Science 2024-01-09 Massimo Bartoletti , Riccardo Marchesin , Roberto Zunino

Since the inception of permissionless blockchains with Bitcoin in 2008, it became apparent that their most well-suited use case is related to making the financial system and its advantages available to everyone seamlessly without depending…

General Finance · Quantitative Finance 2023-06-16 Georgios Palaiokrassas , Sandro Scherrers , Iason Ofeidis , Leandros Tassiulas

Decentralized Finance (DeFi) services are moving traditional financial operations to the Internet of Value (IOV) by exploiting smart contracts, distributed ledgers, and clever heterogeneous transactions among different protocols. The…

General Economics · Economics 2023-07-18 Teng Andrea Xu , Jiahua Xu

Decentralized Finance (DeFi) refers to financial services that are not necessarily related to crypto-currencies. By employing blockchain for security and integrity, DeFi creates new possibilities that attract retail and institution users,…

Cryptography and Security · Computer Science 2024-04-18 Krzysztof Gogol , Christian Killer , Malte Schlosser , Thomas Bocek , Burkhard Stiller , Claudio Tessone

In recent years, blockchain technology has introduced decentralized finance (DeFi) as an alternative to traditional financial systems. DeFi aims to create a transparent and efficient financial ecosystem using smart contracts and emerging…

Computational Engineering, Finance, and Science · Computer Science 2024-03-14 Bingqiao Luo , Zhen Zhang , Qian Wang , Anli Ke , Shengliang Lu , Bingsheng He

Lending protocols are one of the main applications of Decentralized Finance (DeFi), enabling crypto-assets loan markets with a total value estimated in the tens of billions of dollars. Unlike traditional lending systems, these protocols…

Computer Science and Game Theory · Computer Science 2025-06-19 Massimo Bartoletti , Enrico Lipparini

Decentralized finance (DeFi) protocols are crypto projects developed on the blockchain to manage digital assets. Attacks on DeFi have been frequent and have resulted in losses exceeding \$77 billion. However, detection methods for malicious…

Cryptography and Security · Computer Science 2024-05-21 Wenkai Li , Xiaoqi Li , Yuqing Zhang , Zongwei Li

The financial sector's adoption of technology-driven data analysis has enhanced operational efficiency and revenue generation by leveraging personal sensitive data. However, the inherent characteristics of blockchain hinder decentralized…

Cryptography and Security · Computer Science 2023-11-13 Zhuangtong Huang , Jiawei Zhu , Zhongyu Huang , Yixin Xu , Jerome Yen , Ye Wang

The decentralized and trustless nature of cryptocurrencies and blockchain technology leads to a shift in the digital world. The possibility to execute small programs, called smart contracts, on cryptocurrencies like Ethereum opened doors to…

Cryptography and Security · Computer Science 2021-01-15 Hendrik Amler , Lisa Eckey , Sebastian Faust , Marcel Kaiser , Philipp Sandner , Benjamin Schlosser

Technological advancement drives financial innovation, reshaping the traditional finance landscape and redefining user-market interactions. The rise of blockchain and Decentralized Finance (DeFi) underscores this intertwined evolution of…

Computational Finance · Quantitative Finance 2024-11-27 Xihan Xiong , Zhipeng Wang , Tianxiang Cui , William Knottenbelt , Michael Huth
‹ Prev 1 2 3 10 Next ›