Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric

Ralf Küsters, Daniel Rausch 0001, Mike Simon. Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric. IACR Cryptology ePrint Archive, 2020:386, 2020. [doi]

@article{KustersRS20,
  title = {Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric},
  author = {Ralf Küsters and Daniel Rausch 0001 and Mike Simon},
  year = {2020},
  url = {https://eprint.iacr.org/2020/386},
  researchr = {https://researchr.org/publication/KustersRS20},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2020},
  pages = {386},
}