Matches in SemOpenAlex for { <https://semopenalex.org/work/W2807041801> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2807041801 abstract "Dynamic information flow control is a promising technique for ensuring confidentiality and integrity of applications that manipulate sensitive information. While much progress has been made on increasingly powerful programming languages ranging from low-level machine languages to high-level languages for distributed systems, surprisingly little attention has been devoted to libraries and APIs. The state of the art is largely an all-or-nothing choice: either a shallow or deep library modeling approach. Seeking to break out of this restrictive choice, we formalize a general mechanism that tracks information flow for a language that includes higher-order functions, structured data types and references. A key feature of our approach is the model heap, a part of the memory, where security information is kept to enable the interaction between the labeled program and the unlabeled library. We provide a proof-of-concept implementation and report on experiments with a file system library. The system has been proved correct using Coq." @default.
- W2807041801 created "2018-06-13" @default.
- W2807041801 creator A5059422066 @default.
- W2807041801 creator A5070340953 @default.
- W2807041801 creator A5079303722 @default.
- W2807041801 date "2018-01-01" @default.
- W2807041801 modified "2023-09-22" @default.
- W2807041801 title "Information Flow Tracking for Side-Effectful Libraries" @default.
- W2807041801 cites W114581357 @default.
- W2807041801 cites W1236479421 @default.
- W2807041801 cites W1608712340 @default.
- W2807041801 cites W1995290095 @default.
- W2807041801 cites W2008332764 @default.
- W2807041801 cites W2024811322 @default.
- W2807041801 cites W2027189949 @default.
- W2807041801 cites W2044768460 @default.
- W2807041801 cites W2066195326 @default.
- W2807041801 cites W2085939020 @default.
- W2807041801 cites W2094873755 @default.
- W2807041801 cites W2106573617 @default.
- W2807041801 cites W2122049982 @default.
- W2807041801 cites W2128303158 @default.
- W2807041801 cites W2136887296 @default.
- W2807041801 cites W2146717998 @default.
- W2807041801 cites W2307994931 @default.
- W2807041801 cites W2467714986 @default.
- W2807041801 cites W2509653070 @default.
- W2807041801 cites W2602111867 @default.
- W2807041801 cites W4247948196 @default.
- W2807041801 doi "https://doi.org/10.1007/978-3-319-92612-4_8" @default.
- W2807041801 hasPublicationYear "2018" @default.
- W2807041801 type Work @default.
- W2807041801 sameAs 2807041801 @default.
- W2807041801 citedByCount "2" @default.
- W2807041801 countsByYear W28070418012020 @default.
- W2807041801 countsByYear W28070418012021 @default.
- W2807041801 crossrefType "book-chapter" @default.
- W2807041801 hasAuthorship W2807041801A5059422066 @default.
- W2807041801 hasAuthorship W2807041801A5070340953 @default.
- W2807041801 hasAuthorship W2807041801A5079303722 @default.
- W2807041801 hasBestOaLocation W28070418012 @default.
- W2807041801 hasConcept C134757568 @default.
- W2807041801 hasConcept C138885662 @default.
- W2807041801 hasConcept C160191386 @default.
- W2807041801 hasConcept C199360897 @default.
- W2807041801 hasConcept C2779136372 @default.
- W2807041801 hasConcept C41008148 @default.
- W2807041801 hasConcept C41895202 @default.
- W2807041801 hasConceptScore W2807041801C134757568 @default.
- W2807041801 hasConceptScore W2807041801C138885662 @default.
- W2807041801 hasConceptScore W2807041801C160191386 @default.
- W2807041801 hasConceptScore W2807041801C199360897 @default.
- W2807041801 hasConceptScore W2807041801C2779136372 @default.
- W2807041801 hasConceptScore W2807041801C41008148 @default.
- W2807041801 hasConceptScore W2807041801C41895202 @default.
- W2807041801 hasLocation W28070418011 @default.
- W2807041801 hasLocation W28070418012 @default.
- W2807041801 hasLocation W28070418013 @default.
- W2807041801 hasOpenAccess W2807041801 @default.
- W2807041801 hasPrimaryLocation W28070418011 @default.
- W2807041801 hasRelatedWork W1501479749 @default.
- W2807041801 hasRelatedWork W1970404787 @default.
- W2807041801 hasRelatedWork W2048569219 @default.
- W2807041801 hasRelatedWork W2107779615 @default.
- W2807041801 hasRelatedWork W2156703477 @default.
- W2807041801 hasRelatedWork W2170732676 @default.
- W2807041801 hasRelatedWork W2267923570 @default.
- W2807041801 hasRelatedWork W2463192860 @default.
- W2807041801 hasRelatedWork W2471419789 @default.
- W2807041801 hasRelatedWork W2505920420 @default.
- W2807041801 hasRelatedWork W2512625760 @default.
- W2807041801 hasRelatedWork W2566015348 @default.
- W2807041801 hasRelatedWork W2610242999 @default.
- W2807041801 hasRelatedWork W2738069602 @default.
- W2807041801 hasRelatedWork W2761840367 @default.
- W2807041801 hasRelatedWork W2898359825 @default.
- W2807041801 hasRelatedWork W2903357517 @default.
- W2807041801 hasRelatedWork W3083890264 @default.
- W2807041801 hasRelatedWork W3152724127 @default.
- W2807041801 hasRelatedWork W2560089524 @default.
- W2807041801 isParatext "false" @default.
- W2807041801 isRetracted "false" @default.
- W2807041801 magId "2807041801" @default.
- W2807041801 workType "book-chapter" @default.