Incentives in Ethereum's Hybrid Casper Protocol.

Vitalik Buterin Daniël Reijsbergen Stefanos Leonardos Georgios Piliouras

Published in: IEEE ICBC (2019)

Keyphrases

databases
lightweight
coloured petri nets
formal analysis
security analysis
database
web services
low cost
cryptographic protocols
communication protocols
hybrid approaches