Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Formalizing Stack Safety as a Security Property   What does "stack safety" mean? The phrase is associated with a variety of
compiler, run-time, and hardware mechanisms for protecting stack memory, but
these mechanisms typically lack precise specifications, relying instead on
informal descriptions and examples of the bad behaviors that they prevent.
  We propose a generic, formal characterization of stack safety based on
concepts from language-based security: a combination of an integrity property
("the private state in each caller's stack frame is held invariant by the
callee"), and a confidentiality property ("the callee's behavior is insensitive
to the caller's private state"), plus an optional control-flow property.
  We use these properties to validate the stack safety micro-policies proposed
by Roessler and DeHon [2018]. Specifically, we check (with property-based
random testing) that their "eager" micro-policy, which catches violations
early, enforces a simple "stepwise" variant of our properties, and that (a
repaired version of) their more performant "lazy" micro-policy enforces a
slightly weaker and more extensional observational property. Meanwhile our
testing successfully detects violations in several broken variants, including
Roessler and DeHon's original lazy policy.

19
The categories of this paper are: eess
32
The categories of this paper are: atom-ph
28
The categories of this paper are: alg-geom
14
The categories of this paper are: math-ph
5
The categories of this paper are: gr-qc
23
The categories of this paper are: solv-int
8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
7
The categories of this paper are: hep-th
33
The categories of this paper are: plasm-ph