Login / Signup
Agreement with Satoshi - On the Formalization of Nakamoto Consensus.
Nicholas Stifter
Aljosha Judmayer
Philipp Schindler
Alexei Zamyatin
Edgar R. Weippl
Published in:
IACR Cryptol. ePrint Arch. (2018)
Keyphrases
</>
knowledge representation
formal model
voting schemes
real world
computer vision
logical framework