How to exploit a DeFi project

DOI10.1007/978-3-662-63958-0_14zbMath1492.91460OpenAlexW3201161891MaRDI QIDQ2670835

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

Publication date: 1 June 2022

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

zbMATH Keywords

formal verificationmodel checkingdecentralized finance

Mathematics Subject Classification ID

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

Uses Software

• solc-verify
• DeepSEA
• VerX

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