Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Symbolic Verification of Cache Side-channel Freedom   Cache timing attacks allow third-party observers to retrieve sensitive
information from program executions. But, is it possible to automatically check
the vulnerability of a program against cache timing attacks and then,
automatically shield program executions against these attacks? For a given
program, a cache configuration and an attack model, our CACHEFIX framework
either verifies the cache side-channel freedom of the program or synthesizes a
series of patches to ensure cache side-channel freedom during program
execution. At the core of our framework is a novel symbolic verification
technique based on automated abstraction refinement of cache semantics. The
power of such a framework is to allow symbolic reasoning over counterexample
traces and to combine it with runtime monitoring for eliminating cache side
channels during program execution. Our evaluation with routines from OpenSSL,
libfixedtimefixedpoint, GDK and FourQlib libraries reveals that our CACHEFIX
approach (dis)proves cache sidechannel freedom within an average of 75 seconds.
Besides, in all except one case, CACHEFIX synthesizes all patches within 20
minutes to ensure cache side-channel freedom of the respective routines during
execution.

25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
5
The categories of this paper are: gr-qc
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
33
The categories of this paper are: plasm-ph
9
The categories of this paper are: nlin
15
The categories of this paper are: nucl-ex
36
The categories of this paper are: cmp-lg
16
The categories of this paper are: stat
14
The categories of this paper are: math-ph
28
The categories of this paper are: alg-geom
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph