Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution

Tobias F. Pfeffer
Tobias F. Pfeffer
Thomas Göthel
Thomas Göthel

QRS, pp. 318-325, 2019.

Cited by: 0|Bibtex|Views0|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments