Sign in
An Optimized Concurrent Proof of Authority Consensus Protocol.
A. Nazir
M. Singh
Giuseppe Destefanis
J. Memon
Rumyana Neykova
Mohamad Kassab
Roberto Tonelli
Published in:
SANER (2023)
Keyphrases
</>
formal proof
lightweight
coloured petri nets
formal analysis
communication protocol
mutual exclusion
digital libraries
theorem prover
network protocols
theorem proving
elliptic curve
tcp ip
security analysis
cryptographic protocols
rfid systems