Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Statistical Model Checking of Common Attack Scenarios on Blockchain   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.

30
The categories of this paper are: q-alg
23
The categories of this paper are: solv-int
22
The categories of this paper are: chao-dyn
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
2
The categories of this paper are: math
15
The categories of this paper are: nucl-ex
28
The categories of this paper are: alg-geom
8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat
32
The categories of this paper are: atom-ph
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
11
The categories of this paper are: hep-lat
20
The categories of this paper are: acc-phys