Login / Signup
Mike Simon
ORCID
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Cost Effective
Agent Model
Formal Analysis
Defect Detection
Top Venues
IACR Cryptol. ePrint Arch.
</>
Publications
</>
Ralf Küsters
,
Daniel Rausch
,
Mike Simon
Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric.
IACR Cryptol. ePrint Arch.
2020 (2020)