Adjoining Declassification and Attack Models by Abstract Interpretation.

Roberto Giacobazzi, Isabella Mastroeni

Browse the full ESOP paper archive.