Another Look at CBC Casper Consensus Protocol.

Published in: IACR Cryptol. ePrint Arch. (2020)

Keyphrases

lightweight
cryptographic protocols
real time
formal analysis
security protocols
security analysis
network simulator
coloured petri nets
application layer
tcp ip
communication protocols
rfid systems