Sign in
A Novel Delegated Proof of Work Consensus Protocol.
Mostefa Kara
Abdelkader Laouid
Ahcène Bounceur
Farid Lalem
Muath AlShaikh
Romaissa Kebache
Zaoui Sayah
Published in:
AI-CSP (2021)
Keyphrases
</>
formal proof
lightweight
case study
theorem prover
neural network
security protocols
tcp ip
authentication protocol
communication protocol
cryptographic protocols
linear logic
coloured petri nets
mathematical proofs
file transfer
directed networks
network protocols
formal analysis
theorem proving
information systems