Matches in SemOpenAlex for { <https://semopenalex.org/work/W2479255192> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2479255192 abstract "Secure multi-execution SME is a promising black-box technique for enforcing information flow properties. Unlike traditional static or dynamic language-based techniques, SME satisfies noninterference soundness by construction and is also precise. SME executes a given program twice. In one execution, called the high run, the program receives all inputs, but the program's public outputs are suppressed. In the other execution, called the low run, the program receives only public inputs and declassified or, in some cases, default inputs as a replacement for the secret inputs, but its private outputs are suppressed. This approach works well in theory, but in practice the program might not be prepared to handle the declassified or default inputs as they may differ a lot from the regular secret inputs. As a consequence, the program may produce incorrect outputs or it may crash. To avoid this problem, existing work makes strong assumptions on the ability of the given program to robustly adapt to the declassified inputs, limiting the class of programs to which SME applies.To lift this limitation, we present a modification of SME, called asymmetric SME or A-SME. A-SME gives up on the pretense that real programs are inherently robust to modified inputs. Instead, A-SME requires a variant of the original program that has been adapted by the programmer or automatically to react properly to declassified or default inputs. This variant, called the low slice, is used in A-SME as a replacement for the original program in the low run. The original program and its low slice must be related by a semantic correctness criteria, but beyond adhering to this criteria, A-SME offers complete flexibility in the construction of the low slice. A-SME is provably sound even when the low slice is incorrect and when the low slice is correct, A-SME is also precise. Finally, we show that if the program is policy compliant, then its low slice always exists, at least in theory. On the side, we also improve the state-of-the-art in declassification policies by supporting policies that offer controlled choices to untrustworthy programs." @default.
- W2479255192 created "2016-08-23" @default.
- W2479255192 creator A5026223535 @default.
- W2479255192 creator A5026719321 @default.
- W2479255192 date "2016-01-01" @default.
- W2479255192 modified "2023-09-27" @default.
- W2479255192 title "Asymmetric Secure Multi-execution with Declassification" @default.
- W2479255192 cites W1819958245 @default.
- W2479255192 cites W1835937145 @default.
- W2479255192 cites W1966354044 @default.
- W2479255192 cites W1997988349 @default.
- W2479255192 cites W2008332764 @default.
- W2479255192 cites W2027146564 @default.
- W2479255192 cites W2071700915 @default.
- W2479255192 cites W2081377878 @default.
- W2479255192 cites W2092336238 @default.
- W2479255192 cites W2106226772 @default.
- W2479255192 cites W2106573617 @default.
- W2479255192 cites W2109781862 @default.
- W2479255192 cites W2111794592 @default.
- W2479255192 cites W2120620789 @default.
- W2479255192 cites W2121988324 @default.
- W2479255192 cites W2136887296 @default.
- W2479255192 cites W2145846275 @default.
- W2479255192 cites W2159436061 @default.
- W2479255192 cites W2165078378 @default.
- W2479255192 cites W2171239903 @default.
- W2479255192 cites W3009776881 @default.
- W2479255192 cites W3034664848 @default.
- W2479255192 cites W4206358530 @default.
- W2479255192 cites W4243284147 @default.
- W2479255192 cites W4243963980 @default.
- W2479255192 doi "https://doi.org/10.1007/978-3-662-49635-0_2" @default.
- W2479255192 hasPublicationYear "2016" @default.
- W2479255192 type Work @default.
- W2479255192 sameAs 2479255192 @default.
- W2479255192 citedByCount "7" @default.
- W2479255192 countsByYear W24792551922016 @default.
- W2479255192 countsByYear W24792551922018 @default.
- W2479255192 countsByYear W24792551922020 @default.
- W2479255192 countsByYear W24792551922021 @default.
- W2479255192 crossrefType "book-chapter" @default.
- W2479255192 hasAuthorship W2479255192A5026223535 @default.
- W2479255192 hasAuthorship W2479255192A5026719321 @default.
- W2479255192 hasConcept C127413603 @default.
- W2479255192 hasConcept C160191386 @default.
- W2479255192 hasConcept C188198153 @default.
- W2479255192 hasConcept C199360897 @default.
- W2479255192 hasConcept C2778514511 @default.
- W2479255192 hasConcept C38652104 @default.
- W2479255192 hasConcept C39920170 @default.
- W2479255192 hasConcept C41008148 @default.
- W2479255192 hasConcept C78519656 @default.
- W2479255192 hasConceptScore W2479255192C127413603 @default.
- W2479255192 hasConceptScore W2479255192C160191386 @default.
- W2479255192 hasConceptScore W2479255192C188198153 @default.
- W2479255192 hasConceptScore W2479255192C199360897 @default.
- W2479255192 hasConceptScore W2479255192C2778514511 @default.
- W2479255192 hasConceptScore W2479255192C38652104 @default.
- W2479255192 hasConceptScore W2479255192C39920170 @default.
- W2479255192 hasConceptScore W2479255192C41008148 @default.
- W2479255192 hasConceptScore W2479255192C78519656 @default.
- W2479255192 hasLocation W24792551921 @default.
- W2479255192 hasOpenAccess W2479255192 @default.
- W2479255192 hasPrimaryLocation W24792551921 @default.
- W2479255192 hasRelatedWork W1591887608 @default.
- W2479255192 hasRelatedWork W1819824216 @default.
- W2479255192 hasRelatedWork W1966969580 @default.
- W2479255192 hasRelatedWork W1994197051 @default.
- W2479255192 hasRelatedWork W1995290095 @default.
- W2479255192 hasRelatedWork W1997988349 @default.
- W2479255192 hasRelatedWork W2008332764 @default.
- W2479255192 hasRelatedWork W2019391951 @default.
- W2479255192 hasRelatedWork W2032186805 @default.
- W2479255192 hasRelatedWork W2081377878 @default.
- W2479255192 hasRelatedWork W2113404921 @default.
- W2479255192 hasRelatedWork W2122049982 @default.
- W2479255192 hasRelatedWork W2133318222 @default.
- W2479255192 hasRelatedWork W21368133 @default.
- W2479255192 hasRelatedWork W2153684747 @default.
- W2479255192 hasRelatedWork W2155781848 @default.
- W2479255192 hasRelatedWork W2183808744 @default.
- W2479255192 hasRelatedWork W2467714986 @default.
- W2479255192 hasRelatedWork W2519680833 @default.
- W2479255192 hasRelatedWork W193626754 @default.
- W2479255192 isParatext "false" @default.
- W2479255192 isRetracted "false" @default.
- W2479255192 magId "2479255192" @default.
- W2479255192 workType "book-chapter" @default.