Login / Signup
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