This paper introduces g-leakage, a rich generalization of the min-entropy model of
quantitative information flow. In g-leakage, the benefit that an adversary derives from a …

The enormous amount of code required to design modern hardware implementations often
leads to critical vulnerabilities being overlooked. Especially vulnerabilities that compromise …

Secrecy is fundamental to computer security, but real systems often cannot avoid leaking
some secret information. For this reason, it is useful to model secrecy quantitatively, thinking …

This paper explores two fundamental issues in Language based security. The first is to
provide a quantitative definition of information leakage valid in several attacker's models. We …

Building on simple information-theoretic concepts, we study two quantitative models of
information leakage in the pi-calculus. The first model presupposes an attacker with an …

We present a quantitative analysis of information flow for a multi-threaded language based
on a probabilistic scheduler. The analysis consists of two steps. First, multi-threaded …

Originally proposed for privacy protection in the context of statistical databases, differential
privacy is now widely adopted in various models of computation. In this paper we investigate …

We present an automatic analyzer for measuring information flow within software systems. In
this paper, we quantify leakage in terms of information theory and incorporate this …

There is a natural intuitive match between anonymity and information theory. In particular,
the maximal anonymity loss in anonymity protocols can be matched to the information …

In a batch program, information about confidential inputs may flow to insecure outputs. The
size of this leakage, considered as a Shannon measure, may be automatically and exactly …