@inproceedings{gm05esop,
        author = {R. Giacobazzi and I. Mastroeni},
        title = {Adjoining Declassification and Attack Models by Abstract Interpretation},
        booktitle = {European Symposium on Programming (ESOP'05).},
        volume = {3444},
        series = {Lecture Notes in Computer Science},
        publisher = {Springer-Verlag},
        pages = {295-310},
        year = 2005}