10 citations · 10 across the 1 of their papers we have counts for
2 papers
cs.CR2021★ 10 cited
Formal Analysis of Composable DeFi Protocols
Palina Tolmach, Yi Li, Shang-Wei Lin +1
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 activ…
cs.SE2020
A Survey of Smart Contract Formal Specification and Verification
Palina Tolmach, Yi Li, Shang-Wei Lin +2
A smart contract is a computer program which allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important ac…