Skip to content

Formal Analysis of Composable DeFi Protocols.

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

VenueAFC
Year2021
ProceedingsFinancial Cryptography Workshops

Browse the full FC paper archive.