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


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



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