Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reasoning about Probabilistic Defense Mechanisms against Remote Attacks   Despite numerous countermeasures proposed by practitioners and researchers,
remote control-flow alteration of programs with memory-safety vulnerabilities
continues to be a realistic threat. Guaranteeing that complex software is
completely free of memory-safety vulnerabilities is extremely expensive.
Probabilistic countermeasures that depend on random secret keys are
interesting, because they are an inexpensive way to raise the bar for attackers
who aim to exploit memory-safety vulnerabilities. Moreover, some
countermeasures even support legacy systems. However, it is unclear how to
quantify and compare the effectiveness of different probabilistic
countermeasures or combinations of such countermeasures. In this paper we
propose a methodology to rigorously derive security bounds for probabilistic
countermeasures. We argue that by representing security notions in this setting
as events in probabilistic games, similarly as done with cryptographic security
definitions, concrete and asymptotic guarantees can be obtained against
realistic attackers. These guarantees shed light on the effectiveness of single
countermeasures and their composition and allow practitioners to more precisely
gauge the risk of an attack.

30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
29
The categories of this paper are: funct-an
36
The categories of this paper are: cmp-lg
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
13
The categories of this paper are: quant-ph
6
The categories of this paper are: astro-ph
35
The categories of this paper are: mtrl-th
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
14
The categories of this paper are: math-ph
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics