Proving Abstract Non-interference.

Roberto Giacobazzi, Isabella Mastroeni

Browse the full CSL paper archive.