Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Formal Methods and CyberSecurity   Formal methods have been largely thought of in the context of safety-critical
systems, where they have achieved major acceptance. Tens of millions of people
trust their lives every day to such systems, based on formal proofs rather than
``we haven't found a bug'' (yet!). Why is ``we haven't found a bug'' an
acceptable basis for systems trusted with hundreds of millions of people's
personal data?
  This paper looks at some of the issues in CyberSecurity, and the extent to
which formal methods, ranging from ``fully verified'' to better tool support,
could help. Alas The Royal Society (2016) only recommended formal methods in
the limited context of ``safety critical applications'': we suggest this is too
limited.

35
The categories of this paper are: mtrl-th
25
The categories of this paper are: patt-sol
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
33
The categories of this paper are: plasm-ph
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
19
The categories of this paper are: eess
0
The categories of this paper are: hep-ph
18
The categories of this paper are: econ
13
The categories of this paper are: quant-ph
9
The categories of this paper are: nlin