Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution

CODASPY, pp. 197-208, 2019.

Cited by: 0|Bibtex|Views0|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments