Inter-Blockchain Protocols with the Isabelle Infrastructure Framework.

Florian Kammüller Uwe Nestmann

Published in: FMBC@CAV (2020)

Keyphrases

main contribution
real time
mobile devices
probabilistic model
building blocks
privacy preserving
theoretical framework
information exchange
logical framework