FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2956520306> ?p ?o ?g. }

• W2956520306 abstract "Distributed applications cannot assume that their security policies will be enforced on untrusted hosts. Trusted execution environments (TEEs) combined with cryptographic mechanisms enable execution of known code on an untrusted host and the exchange of confidential and authenticated messages with it. TEEs do not, however, establish the trustworthiness of code executing in a TEE. Thus, developing secure applications using TEEs requires specialized expertise and careful auditing. This paper presents DFLATE, a core security calculus for distributed applications with TEEs. DFLATE offers high-level abstractions that reflect both the guarantees and limitations of the underlying security mechanisms they are based on. The accuracy of these abstractions is exhibited by asymmetry between confidentiality and integrity in our formal results: DFLATE enforces a strong form of noninterference for confidentiality, but only a weak form for integrity. This reflects the asymmetry of the security guarantees of a TEE: a malicious host cannot access secrets in the TEE or modify its contents, but they can suppress or manipulate the sequence of its inputs and outputs. Therefore DFLATE cannot protect against the suppression of high-integrity messages, but when these messages are delivered, their contents cannot have been influenced by an attacker." @default.
• W2956520306 created "2019-07-23" @default.
• W2956520306 creator A5046383149 @default.
• W2956520306 creator A5047325283 @default.
• W2956520306 creator A5062865397 @default.
• W2956520306 date "2019-06-01" @default.
• W2956520306 modified "2023-10-02" @default.
• W2956520306 title "Information Flow Control for Distributed Trusted Execution Environments" @default.
• W2956520306 cites W1520270249 @default.
• W2956520306 cites W1655958391 @default.
• W2956520306 cites W1683403723 @default.
• W2956520306 cites W1771153709 @default.
• W2956520306 cites W1977764760 @default.
• W2956520306 cites W2007759294 @default.
• W2956520306 cites W2017060815 @default.
• W2956520306 cites W2036329595 @default.
• W2956520306 cites W2036463966 @default.
• W2956520306 cites W2044338429 @default.
• W2956520306 cites W2054633150 @default.
• W2956520306 cites W2066349785 @default.
• W2956520306 cites W2067012475 @default.
• W2956520306 cites W2071700915 @default.
• W2956520306 cites W2105075717 @default.
• W2956520306 cites W2116236474 @default.
• W2956520306 cites W2117550587 @default.
• W2956520306 cites W2132699727 @default.
• W2956520306 cites W2148144728 @default.
• W2956520306 cites W2165078378 @default.
• W2956520306 cites W2294311096 @default.
• W2956520306 cites W2508356508 @default.
• W2956520306 cites W2539012550 @default.
• W2956520306 cites W2622545006 @default.
• W2956520306 cites W2701512049 @default.
• W2956520306 cites W2752188526 @default.
• W2956520306 cites W2766853406 @default.
• W2956520306 cites W2767174522 @default.
• W2956520306 doi "https://doi.org/10.1109/csf.2019.00028" @default.
• W2956520306 hasPublicationYear "2019" @default.
• W2956520306 type Work @default.
• W2956520306 sameAs 2956520306 @default.
• W2956520306 citedByCount "9" @default.
• W2956520306 countsByYear W29565203062020 @default.
• W2956520306 countsByYear W29565203062021 @default.
• W2956520306 countsByYear W29565203062023 @default.
• W2956520306 crossrefType "proceedings-article" @default.
• W2956520306 hasAuthorship W2956520306A5046383149 @default.
• W2956520306 hasAuthorship W2956520306A5047325283 @default.
• W2956520306 hasAuthorship W2956520306A5062865397 @default.
• W2956520306 hasBestOaLocation W29565203061 @default.
• W2956520306 hasConcept C120314980 @default.
• W2956520306 hasConcept C126831891 @default.
• W2956520306 hasConcept C138885662 @default.
• W2956520306 hasConcept C153701036 @default.
• W2956520306 hasConcept C162324750 @default.
• W2956520306 hasConcept C177264268 @default.
• W2956520306 hasConcept C178489894 @default.
• W2956520306 hasConcept C187736073 @default.
• W2956520306 hasConcept C18903297 @default.
• W2956520306 hasConcept C199360897 @default.
• W2956520306 hasConcept C199521495 @default.
• W2956520306 hasConcept C202775310 @default.
• W2956520306 hasConcept C2776760102 @default.
• W2956520306 hasConcept C2776831232 @default.
• W2956520306 hasConcept C2779136372 @default.
• W2956520306 hasConcept C38652104 @default.
• W2956520306 hasConcept C41008148 @default.
• W2956520306 hasConcept C41895202 @default.
• W2956520306 hasConcept C527821871 @default.
• W2956520306 hasConcept C71745522 @default.
• W2956520306 hasConcept C86803240 @default.
• W2956520306 hasConceptScore W2956520306C120314980 @default.
• W2956520306 hasConceptScore W2956520306C126831891 @default.
• W2956520306 hasConceptScore W2956520306C138885662 @default.
• W2956520306 hasConceptScore W2956520306C153701036 @default.
• W2956520306 hasConceptScore W2956520306C162324750 @default.
• W2956520306 hasConceptScore W2956520306C177264268 @default.
• W2956520306 hasConceptScore W2956520306C178489894 @default.
• W2956520306 hasConceptScore W2956520306C187736073 @default.
• W2956520306 hasConceptScore W2956520306C18903297 @default.
• W2956520306 hasConceptScore W2956520306C199360897 @default.
• W2956520306 hasConceptScore W2956520306C199521495 @default.
• W2956520306 hasConceptScore W2956520306C202775310 @default.
• W2956520306 hasConceptScore W2956520306C2776760102 @default.
• W2956520306 hasConceptScore W2956520306C2776831232 @default.
• W2956520306 hasConceptScore W2956520306C2779136372 @default.
• W2956520306 hasConceptScore W2956520306C38652104 @default.
• W2956520306 hasConceptScore W2956520306C41008148 @default.
• W2956520306 hasConceptScore W2956520306C41895202 @default.
• W2956520306 hasConceptScore W2956520306C527821871 @default.
• W2956520306 hasConceptScore W2956520306C71745522 @default.
• W2956520306 hasConceptScore W2956520306C86803240 @default.
• W2956520306 hasLocation W29565203061 @default.
• W2956520306 hasLocation W29565203062 @default.
• W2956520306 hasLocation W29565203063 @default.
• W2956520306 hasOpenAccess W2956520306 @default.
• W2956520306 hasPrimaryLocation W29565203061 @default.
• W2956520306 hasRelatedWork W1512458425 @default.
• W2956520306 hasRelatedWork W2013007795 @default.
• W2956520306 hasRelatedWork W2045990539 @default.
• W2956520306 hasRelatedWork W2097351905 @default.

• next