Skip to content

A Low-Overhead, Value-Tracking Approach to Information Flow Security.

Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks

VenueBSEFM
Year2012
ProceedingsSEFM

Browse the full SEFM paper archive.