Quantitative Analysis of the Leakage of Confidential Data

David Clark, Sebastian Hunt, Pasquale Malacaria

Research output: Contribution to journalConference paperpeer-review

130 Citations (Scopus)


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 automated.
Original languageEnglish
Pages (from-to)238-251
Number of pages14
JournalElectronic Notes in Theoretical Computer Science
Issue number3
Publication statusPublished - Nov 2002
EventQuantitative Aspects of Programming Languages (QAPL 2001, Satellite Event for PLI 2001) -
Duration: 7 Sept 2002 → …


Dive into the research topics of 'Quantitative Analysis of the Leakage of Confidential Data'. Together they form a unique fingerprint.

Cite this