A Knowledge-Based Analysis of the Blockchain Protocol.

Joseph Y. Halpern Rafael Pass

Published in: TARK (2017)

Keyphrases

image processing
formal analysis
quantitative analysis
decision making
knowledge base
data analysis