9 citations · 20 across the 7 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2019
Towards a Verified Model of the Algorand Consensus Protocol in Coq
Musab A. Alturki, Jing Chen, Victor Luchangco +4
The Algorand blockchain is a secure and decentralized public ledger based on pure proof of stake rather than proof of work. At its core it is a novel consensus protocol with exactl…
cs.CR2019★ 1 cited
DDoS Attack Detection Method Based on Network Abnormal Behavior in Big Data Environment
Jing Chen, Xiangyan Tang, Jieren Cheng +2
Distributed denial of service (DDoS) attack becomes a rapidly growing problem with the fast development of the Internet. The existing DDoS attack detection methods have time-delay…