Formal Analysis of Composable DeFi Protocols.

Palina Tolmach Yi Li Shang-Wei Lin Yang Liu

Published in: Financial Cryptography Workshops (2021)

Keyphrases

formal analysis
payment protocol
formal methods
communication protocols
agent model
communication protocol
authentication protocol
ban logic