Proof-of-Property - A Lightweight and Scalable Blockchain Protocol.

Christopher Ehmke Florian Wessling Christoph M. Friedrich

Published in: WETSEB@ICSE (2018)

Keyphrases

lightweight
authentication protocol
wireless sensor networks
theorem proving
dos attacks
communication infrastructure
development process
handheld devices
formal proof