@inproceedings{bgm07mfps,
        author = {A. Banerjee,. Giacobazzi and I. Mastroeni},
        title = {What you lose is what you leak: Information Leakage in Declassification Policies},
        booktitle = {Mathematical Foundations of Programming Semantics (MFPS'07)},
        volume = {},
        publisher = {ENTCS},
        pages = {},
        year = 2007}