Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Provably Secure Isolation for Interruptible Enclaved Execution on Small
  Microprocessors: Extended Version   Computer systems often provide hardware support for isolation mechanisms like
privilege levels, virtual memory, or enclaved execution. Over the past years,
several successful software-based side-channel attacks have been developed that
break, or at least significantly weaken the isolation that these mechanisms
offer. Extending a processor with new architectural or micro-architectural
features, brings a risk of introducing new such side-channel attacks.
  This paper studies the problem of extending a processor with new features
without weakening the security of the isolation mechanisms that the processor
offers. We propose to use full abstraction as a formal criterion for the
security of a processor extension, and we instantiate that criterion to the
concrete case of extending a microprocessor that supports enclaved execution
with secure interruptibility of these enclaves. This is a very relevant
instantiation as several recent papers have shown that interruptibility of
enclaves leads to a variety of software-based side-channel attacks. We propose
a design for interruptible enclaves, and prove that it satisfies our security
criterion. We also implement the design on an open-source enclave-enabled
microprocessor, and evaluate the cost of our design in terms of performance and
hardware size.

0
The categories of this paper are: hep-ph
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con
6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
24
The categories of this paper are: dg-ga
2
The categories of this paper are: math
21
The categories of this paper are: adap-org
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph