Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution
CODASPY, pp. 197-208, 2019.
Dynamic Information Flow Control (IFC) systems, like No-Sensitive-Upgrade or Permissive-Upgrade, can guarantee Termination-Insensitive Non-Interference, but reject valid programs due to their inability to track implicit flows. More advanced multi-execution based approaches, like Shadow Execution and Secure Multi-Execution, are precise and...More
Full Text (Upload PDF)
PPT (Upload PPT)