Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Preventing Timing Side-Channels via Security-Aware Just-In-Time
  Compilation   Recent work has shown that Just-In-Time (JIT) compilation can introduce
timing side-channels to constant-time programs, which would otherwise be a
principled and effective means to counter timing attacks. In this paper, we
propose a novel approach to eliminate JIT-induced leaks from these programs.
Specifically, we present an operational semantics and a formal definition of
constant-time programs under JIT compilation, laying the foundation for
reasoning about programs with JIT compilation. We then propose to eliminate
JIT-induced leaks via a fine-grained JIT compilation for which we provide an
automated approach to generate policies and a novel type system to show its
soundness. We develop a tool DeJITLeak for Java based on our approach and
implement the fine-grained JIT compilation in HotSpot. Experimental results
show that DeJITLeak can effectively and efficiently eliminate JIT-induced leaks
on three datasets used in side-channel detection

26
The categories of this paper are: bayes-an
35
The categories of this paper are: mtrl-th
11
The categories of this paper are: hep-lat
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
19
The categories of this paper are: eess
36
The categories of this paper are: cmp-lg
12
The categories of this paper are: nucl-th
8
The categories of this paper are: hep-ex
27
The categories of this paper are: comp-gas
22
The categories of this paper are: chao-dyn
3
The categories of this paper are: physics
33
The categories of this paper are: plasm-ph
13
The categories of this paper are: quant-ph
25
The categories of this paper are: patt-sol
9
The categories of this paper are: nlin