Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference.

Isabella Mastroeni, Michele Pasqua

Browse the full SAC paper archive.