Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Beyond Good and Evil: Formalizing the Security Guarantees of
  Compartmentalizing Compilation   Compartmentalization is good security-engineering practice. By breaking a
large software system into mutually distrustful components that run with
minimal privileges, restricting their interactions to conform to well-defined
interfaces, we can limit the damage caused by low-level attacks such as
control-flow hijacking. When used to defend against such attacks,
compartmentalization is often implemented cooperatively by a compiler and a
low-level compartmentalization mechanism. However, the formal guarantees
provided by such compartmentalizing compilation have seen surprisingly little
investigation.
  We propose a new security property, secure compartmentalizing compilation
(SCC), that formally characterizes the guarantees provided by
compartmentalizing compilation and clarifies its attacker model. We reconstruct
our property by starting from the well-established notion of fully abstract
compilation, then identifying and lifting three important limitations that make
standard full abstraction unsuitable for compartmentalization. The connection
to full abstraction allows us to prove SCC by adapting established proof
techniques; we illustrate this with a compiler from a simple unsafe imperative
language with procedures to a compartmentalized abstract machine.

13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci
26
The categories of this paper are: bayes-an
6
The categories of this paper are: astro-ph
24
The categories of this paper are: dg-ga
36
The categories of this paper are: cmp-lg
20
The categories of this paper are: acc-phys
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
21
The categories of this paper are: adap-org
37
The categories of this paper are: supr-con
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
33
The categories of this paper are: plasm-ph
14
The categories of this paper are: math-ph