Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric

Mike Graf, Ralf Küsters, Daniel Rausch 0001. Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric. In IEEE European Symposium on Security and Privacy, EuroS&P 2020, Genoa, Italy, September 7-11, 2020. pages 236-255, IEEE, 2020. [doi]

Abstract

Abstract is missing.