2 search results - page 1 / 1 » Quantifying Information Leakage in Finite Order Deterministi... |
CORR
2010
Springer
12 years 11 months ago
2010
Springer
Information flow analysis is a powerful technique for reasoning about the sensitive information exposed by a program during its execution. While past work has proposed information...
IEEEARES
2009
IEEE
13 years 2 months ago
2009
IEEE
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 comp...