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

Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution.

QRS, pp.318-325, (2019)

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

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:

Author
Tobias F. Pfeffer
Tobias F. Pfeffer
Thomas Göthel
Thomas Göthel
Your rating :
0

 

Tags
Comments
小科