Login / Signup
SklCoin: Toward a Scalable Proof-of-Stake and Collective Signature Based Consensus Protocol for Strong Consistency in Blockchain.
Zakwan Jaroucheh
Baraq Ghaleb
William J. Buchanan
Published in:
ICSA Companion (2020)
Keyphrases
</>
lightweight
formal proof
set intersection
correctness criterion
replicated data
theorem proving
consistency checking
network protocols
theorem prover
intrusion detection
network traffic
formal analysis
highly scalable
security analysis
cryptographic protocols