Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Quantitative Analysis of Information Leakage in Probabilistic and
  Nondeterministic Systems   This thesis addresses the foundational aspects of formal methods for
applications in security and in particular in anonymity. More concretely, we
develop frameworks for the specification of anonymity properties and propose
algorithms for their verification. Since in practice anonymity protocols always
leak some information, we focus on quantitative properties, which capture the
amount of information leaked by a protocol.
  The main contribution of this thesis is cpCTL, the first temporal logic that
allows for the specification and verification of conditional probabilities
(which are the key ingredient of most anonymity properties). In addition, we
have considered several prominent definitions of information-leakage and
developed the first algorithms allowing us to compute (and even approximate)
the information leakage of anonymity protocols according to these definitions.
We have also studied a well-known problem in the specification and analysis of
distributed anonymity protocols, namely full-information scheduling. To
overcome this problem, we have proposed an alternative notion of scheduling and
adjusted accordingly several anonymity properties from the literature. Our last
major contribution is a debugging technique that helps on the detection of
flaws in security protocols.

13
The categories of this paper are: quant-ph
29
The categories of this paper are: funct-an
27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th
28
The categories of this paper are: alg-geom
22
The categories of this paper are: chao-dyn
23
The categories of this paper are: solv-int
37
The categories of this paper are: supr-con
31
The categories of this paper are: ao-sci
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph