We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CR

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Cryptography and Security

Title: Formal Analysis of Composable DeFi Protocols

Abstract: Decentralized finance (DeFi) has become one of the most successful applications of blockchain and smart contracts. The DeFi ecosystem enables a wide range of crypto-financial activities, while the underlying smart contracts often contain bugs, with many vulnerabilities arising from the unforeseen consequences of composing DeFi protocols together. In this paper, we propose a formal process-algebraic technique that models DeFi protocols in a compositional manner to allow for efficient property verification. We also conduct a case study to demonstrate the proposed approach in analyzing the composition of two interacting DeFi protocols, namely, Curve and Compound. Finally, we discuss how the proposed modeling and verification approach can be used to analyze financial and security properties of interest.
Subjects: Cryptography and Security (cs.CR)
Cite as: arXiv:2103.00540 [cs.CR]
  (or arXiv:2103.00540v2 [cs.CR] for this version)

Submission history

From: Palina Tolmach [view email]
[v1] Sun, 28 Feb 2021 15:47:20 GMT (582kb,D)
[v2] Mon, 19 Apr 2021 05:51:54 GMT (492kb,D)

Link back to: arXiv, form interface, contact.