Liveness Checking of the HotStuff Protocol Family.

Jérémie Decouchant Burcu Kulahcioglu Ozkan Yanzhuo Zhou

Published in: PRDC (2023)

Keyphrases

cryptographic protocols
special case
tcp ip
coloured petri nets
real time
low cost
lightweight
formal analysis
file transfer
genetic algorithm
social networks
information systems
communication protocol
network simulator