Matches in SemOpenAlex for { <https://semopenalex.org/work/W4377295864> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W4377295864 abstract "We introduce the Clockwork Finance Framework (CFF), a general purpose, formal verification framework for mechanized reasoning about the economic security properties of composed decentralized-finance (DeFi) smart contracts. CFF features three key properties. It is contract complete, meaning that it can model any smart contract platform and all its contracts--Turing complete or otherwise. It does so with asymptotically constant model overhead. It is also attack-exhaustive by construction, meaning that it can automatically and mechanically extract all possible economic attacks on users' cryptocurrency across modeled contracts. Thanks to these properties, CFF can support multiple goals: economic security analysis of contracts by developers, analysis of DeFi trading risks by users, fees UX, and optimization of arbitrage opportunities by bots or miners. Because CFF offers composability, it can support these goals with reasoning over any desired set of potentially interacting smart contract models. We instantiate CFF as an executable model for Ethereum contracts that incorporates a state-of-the-art deductive verifier. Building on previous work, we introduce extractable value (EV), a new formal notion of economic security in composed DeFi contracts that is both a basis for CFF and of general interest. We construct modular, human-readable, composable CFF models of four popular, deployed DeFi protocols in Ethereum: Uniswap, Uniswap V2, Sushiswap, and MakerDAO, representing a combined 24 billion USD in value as of March 2022. We use these models along with some other common models such as flash loans, airdrops and voting to show experimentally that CFF is practical and can drive useful, data-based EV-based insights from real world transaction activity. Without any explicitly programmed attack strategies, CFF uncovers on average an expected $56 million of EV per month in the recent past." @default.
- W4377295864 created "2023-05-23" @default.
- W4377295864 creator A5005725160 @default.
- W4377295864 creator A5029249775 @default.
- W4377295864 creator A5030879683 @default.
- W4377295864 creator A5079345097 @default.
- W4377295864 date "2021-09-09" @default.
- W4377295864 modified "2023-09-29" @default.
- W4377295864 title "Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts" @default.
- W4377295864 doi "https://doi.org/10.1109/sp46215.2023.00036" @default.
- W4377295864 hasPublicationYear "2021" @default.
- W4377295864 type Work @default.
- W4377295864 citedByCount "0" @default.
- W4377295864 crossrefType "posted-content" @default.
- W4377295864 hasAuthorship W4377295864A5005725160 @default.
- W4377295864 hasAuthorship W4377295864A5029249775 @default.
- W4377295864 hasAuthorship W4377295864A5030879683 @default.
- W4377295864 hasAuthorship W4377295864A5079345097 @default.
- W4377295864 hasBestOaLocation W43772958641 @default.
- W4377295864 hasConcept C160145156 @default.
- W4377295864 hasConcept C180706569 @default.
- W4377295864 hasConcept C199360897 @default.
- W4377295864 hasConcept C2779687700 @default.
- W4377295864 hasConcept C2779950589 @default.
- W4377295864 hasConcept C2780801425 @default.
- W4377295864 hasConcept C38369872 @default.
- W4377295864 hasConcept C38652104 @default.
- W4377295864 hasConcept C41008148 @default.
- W4377295864 hasConceptScore W4377295864C160145156 @default.
- W4377295864 hasConceptScore W4377295864C180706569 @default.
- W4377295864 hasConceptScore W4377295864C199360897 @default.
- W4377295864 hasConceptScore W4377295864C2779687700 @default.
- W4377295864 hasConceptScore W4377295864C2779950589 @default.
- W4377295864 hasConceptScore W4377295864C2780801425 @default.
- W4377295864 hasConceptScore W4377295864C38369872 @default.
- W4377295864 hasConceptScore W4377295864C38652104 @default.
- W4377295864 hasConceptScore W4377295864C41008148 @default.
- W4377295864 hasLocation W43772958641 @default.
- W4377295864 hasOpenAccess W4377295864 @default.
- W4377295864 hasPrimaryLocation W43772958641 @default.
- W4377295864 hasRelatedWork W1969324738 @default.
- W4377295864 hasRelatedWork W3003581100 @default.
- W4377295864 hasRelatedWork W3112327565 @default.
- W4377295864 hasRelatedWork W3215743683 @default.
- W4377295864 hasRelatedWork W4206573979 @default.
- W4377295864 hasRelatedWork W4210939239 @default.
- W4377295864 hasRelatedWork W4226292196 @default.
- W4377295864 hasRelatedWork W4296100028 @default.
- W4377295864 hasRelatedWork W4310359753 @default.
- W4377295864 hasRelatedWork W4353080674 @default.
- W4377295864 isParatext "false" @default.
- W4377295864 isRetracted "false" @default.
- W4377295864 workType "article" @default.