Proof of Luck: an Efficient Blockchain Consensus Protocol.

Mitar Milutinovic Warren He Howard Wu Maxinder Kanwal

Published in: SysTEX@Middleware (2016)

Keyphrases

formal proof
theorem prover
databases
information systems
lightweight
real time
data sets
knowledge base
privacy preserving
communication protocol
cryptographic protocols
network protocols
file transfer
coloured petri nets