Formal Analysis of Composable DeFi Protocols.

Palina Tolmach Yi Li Shang-Wei Lin Yang Liu

Published in: CoRR (2021)

Keyphrases

formal analysis
payment protocol
formal methods
artificial intelligence
agent model
communication protocol
ban logic
information systems
black box
security protocols