Faceted Secure Multi Execution
ACM Conference on Computer and Communications Security, pp. 1617-1634, 2018.
To enforce non-interference, both Secure Multi-Execution (SME) and Multiple Facets (MF) rely on the introduction of multi-executions. The attractiveness of these techniques is that they are precise: secure programs running under SME or MF do not change their behavior. Although MF was intended as an optimization for SME, it does provide a ...More
Full Text (Upload PDF)
PPT (Upload PPT)