Formal analysis of composable DeFi protocols

DOI10.1007/978-3-662-63958-0_13zbMath1492.91461arXiv2103.00540OpenAlexW3201673073MaRDI QIDQ2670830

Yi Li, Yang Liu, Palina Tolmach, Shang-Wei Lin

Publication date: 1 June 2022

Full work available at URL: https://arxiv.org/abs/2103.00540

Mathematics Subject Classification ID

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

Uses Software

• PAT
• ERA-PAT

Cites Work

• Unnamed Item
• Unnamed Item