Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution
QRS, pp. 318-325, 2019.
Enforcement of hypersafety security policies such as noninterference can be achieved through Secure Multi-Execution (SME). While this is typically very resource-intensive, more efficient solutions such as Demand-Driven Secure Multi-Execution (DDSME) exist. Here, the resource requirements are reduced by restricting multi-execution enforcem...More
Full Text (Upload PDF)
PPT (Upload PPT)