How to exploit a DeFi project

DOI10.1007/978-3-662-63958-0_14MaRDI QIDQ2670835zbMATH OpenOpenAlexFDO

Authors Xinyuan Sun, Shaokai Lin, Vilhelm Sjöberg, Jay Jie

Publication date 1 June 2022

Full work available at URL https://doi.org/10.1007/978-3-662-63958-0_14

zbMATH Keywords

decentralized financeformal verificationmodel checking

Mathematics Subject Classification ID

Actuarial science and mathematical finance (91G99) Cryptography (94A60)

Recommendations

• Formal analysis of composable DeFi protocols
• Attacking the DeFi ecosystem with flash loans for fun and profit
• SoK: lending pools in decentralized finance
• The eye of Horus: spotting and analyzing attacks on ethereum smart contracts
• Liquidations: DeFi on a knife-edge

Cited in

(5)

• Attacking the DeFi ecosystem with flash loans for fun and profit
• The eye of Horus: spotting and analyzing attacks on ethereum smart contracts
• Formal analysis of composable DeFi protocols
• DeFi as an information aggregator
• Speculative multipliers on DeFi: quantifying on-chain leverage risks

Describes a project that uses

Uses Software

• solc-verify
• VerX
• DeepSEA

This page was built for publication: How to exploit a DeFi project

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2670835)