Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: What's the Over/Under? Probabilistic Bounds on Information Leakage   Quantitative information flow (QIF) is concerned with measuring how much of a
secret is leaked to an adversary who observes the result of a computation that
uses it. Prior work has shown that QIF techniques based on abstract
interpretation with probabilistic polyhedra can be used to analyze the
worst-case leakage of a query, on-line, to determine whether that query can be
safely answered. While this approach can provide precise estimates, it does not
scale well. This paper shows how to solve the scalability problem by augmenting
the baseline technique with sampling and symbolic execution. We prove that our
approach never underestimates a query's leakage (it is sound), and detailed
experimental results show that we can match the precision of the baseline
technique but with orders of magnitude better performance.

12
The categories of this paper are: nucl-th
21
The categories of this paper are: adap-org
8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin
37
The categories of this paper are: supr-con
15
The categories of this paper are: nucl-ex
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
2
The categories of this paper are: math