Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol.

M. Praveen Raghavendra Ramesh Isaac Doidge

Published in: FMBC@CAV (2024)

Keyphrases

lightweight
coloured petri nets
formal analysis
communication protocol
cryptographic protocols
neural network
security protocols
network simulator
protocol specification