Static Analysis of Non-interference in Expressive Low-Level Languages.

Peter Aldous, Matthew Might

Browse the full SAS paper archive.