Sign in
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