AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically


pub
Go Generating

AI Traceability

AI parses the academic lineage of this thesis


Master Reading Tree
Generate MRT

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

CODASPY, pp.197-208, (2019)

Cited by: 0|Views2
EI
Get fulltext within 24h
Bibtex

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
小科