Incentives in Ethereum's hybrid Casper protocol.

Vitalik Buterin Daniël Reijsbergen Stefanos Leonardos Georgios Piliouras

Published in: Int. J. Netw. Manag. (2020)

Keyphrases

lightweight
formal analysis
application layer
tcp ip
communication protocols
key agreement protocol
smart card
security analysis
security protocols
network simulator
hybrid approaches
coloured petri nets