Automatic Derivation of Platform Noninterference Properties.

Oliver Schwarz, Mads Dam

Browse the full SEFM paper archive.