Quantitative Analysis of the Leakage of Confidential Data

Abstract

Basic information theory is used to analyse the amount of confidential information which may be leaked by programs written in a very simple imperative language. In particular, a detailed analysis is given of the possible leakage due to equality tests and if statements. The analysis is presented as a set of syntax-directed inference rules and can readily be… (More)
DOI: 10.1016/S1571-0661(04)00290-7

Topics

2 Figures and Tables

Statistics

01020'03'05'07'09'11'13'15'17
Citations per Year

168 Citations

Semantic Scholar estimates that this publication has 168 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics