Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Hybrid Approach to Formal Verification of Higher-Order Masked
  Arithmetic Programs   Side-channel attacks, which are capable of breaking secrecy via side-channel
information, pose a growing threat to the implementation of cryptographic
algorithms. Masking is an effective countermeasure against side-channel attacks
by removing the statistical dependence between secrecy and power consumption
via randomization. However, designing efficient and effective masked
implementations turns out to be an error-prone task. Current techniques for
verifying whether masked programs are secure are limited in their applicability
and accuracy, especially when they are applied. To bridge this gap, in this
article, we first propose a sound type system, equipped with an efficient type
inference algorithm, for verifying masked arithmetic programs against
higher-order attacks. We then give novel model-counting based and
pattern-matching based methods which are able to precisely determine whether
the potential leaky observable sets detected by the type system are genuine or
simply spurious. We evaluate our approach on various implementations of
arithmetic cryptographicprograms.The experiments confirm that our approach out
performs the state-of-the-art base lines in terms of applicability, accuracy
and efficiency.

8
The categories of this paper are: hep-ex
19
The categories of this paper are: eess
18
The categories of this paper are: econ
2
The categories of this paper are: math
16
The categories of this paper are: stat
3
The categories of this paper are: physics
32
The categories of this paper are: atom-ph
27
The categories of this paper are: comp-gas
30
The categories of this paper are: q-alg
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc
0
The categories of this paper are: hep-ph
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
31
The categories of this paper are: ao-sci
35
The categories of this paper are: mtrl-th