Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Formal Analysis of Composable DeFi Protocols   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.

5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
15
The categories of this paper are: nucl-ex
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
33
The categories of this paper are: plasm-ph
25
The categories of this paper are: patt-sol
27
The categories of this paper are: comp-gas
13
The categories of this paper are: quant-ph
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat