Securing Proof-of-Stake Blockchain Protocols.

Wenting Li Sébastien Andreina Jens-Matthias Bohli Ghassan Karame

Published in: DPM/CBT@ESORICS (2017)

Keyphrases

theorem prover
information security
real time
theorem proving
linear logic
data sets
multi party
security protocols
proof planning
database
multiscale
communication protocol
commit protocols
natural deduction