Login / Signup

Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric.

Mike GrafRalf KüstersDaniel Rausch
Published in: EuroS&P (2020)
Keyphrases
  • formal analysis
  • formal methods
  • defect detection
  • ban logic
  • real time
  • data model
  • black box