@misc{cryptoeprint:2020:386,
    author = {Ralf Kuesters and Daniel Rausch and Mike Simon},
    title = {Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric},
    howpublished = {Cryptology ePrint Archive, Report 2020/386},
    year = {2020},
    url = {https://eprint.iacr.org/2020/386},
}