C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Analysis of IBC Protocol.
Qiuyang Wei
Xufeng Zhao
Xue-Yang Zhu
Wenhui Zhang
Published in:
ICNP (2023)
Keyphrases
</>
formal analysis
ban logic
payment protocol
formal methods
agent model
databases
natural language