Untitled

Saad, Muhammad; Njilla, Laurent; Kamhoua, Charles A.; Kwiat, Kevin; Mohaisen, Aziz

doi:10.1002/9781119519621.ch10

Cited by 2 publications

(2 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In a while, user A can send the same transaction to user C. In this case, only those transaction is valid which gets into the blockchain first, but the asset might have been released twice. Double spending is one of the most widespread attacks on the blockchain platforms [20]. We performed a model checking for different types of double-spending attacks.…”

Section: Double Spending and Mempool Floodingmentioning

confidence: 99%

See 1 more Smart Citation

Statistical Model Checking of Common Attack Scenarios on Blockchain

Fedotov

Khritankov

2021

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Blockchain technology has developed significantly over the last decade. One of the reasons for this is its sustainability architecture, which does not allow modification of the history of committed transactions. That means that developers should consider blockchain vulnerabilities and eliminate them before the deployment of the system. In this paper, we demonstrate a statistical model checking approach for the verification of blockchain systems on three real-world attack scenarios. We build and verify models of DNS attack, double-spending with memory pool flooding, and consensus delay scenario. After that, we analyze experimental results and propose solutions to avoid these kinds of attacks.

show abstract

Section: Double Spending and Mempool Floodingmentioning

confidence: 99%

“…An adversary can cause a delay for successful double-spending with a mempool flooding attack. Mempool flooding is a kind of DDoS attack carried out at the memory pools of the cryptocurrencies [20]. Mempool has substantial properties such as timeout for transactions and default size limit.…”

Section: Double Spending and Mempool Floodingmentioning

confidence: 99%