Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent

Abstract

Recently, much progress has been made on achieving information-flow security via secure multi-execution. Secure multi-execution (SME) is an elegant way to enforce security by executing a given program multiple times, once for each security level, while carefully dispatching inputs and ensuring that an execution at a given level is responsible for producing… (More)
DOI: 10.1109/CSF.2013.10

5 Figures and Tables

Topics

Statistics

01020201320142015201620172018
Citations per Year

54 Citations

Semantic Scholar estimates that this publication has 54 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics