Matches in SemOpenAlex for { <https://semopenalex.org/work/W2171239903> ?p ?o ?g. }
- W2171239903 abstract "It is important for applications to protect sensitive data. Even for simple confidentiality and integrity policies, it is often difficult for programmers to reason about how the policies should interact and how to enforce policies across the program. A promising approach is policy-agnostic programming, a model that allows the programmer to implement policies separately from core functionality. Yang et al. describe Jeeves, a programming language that supports information flow policies describing how to reveal sensitive values in different output channels. Jeeves uses symbolic evaluation and constraint-solving to produce outputs adhering to the policies. This strategy provides strong confidentiality guarantees but limits expressiveness and implementation feasibility." @default.
- W2171239903 created "2016-06-24" @default.
- W2171239903 creator A5010786661 @default.
- W2171239903 creator A5018139743 @default.
- W2171239903 creator A5040486235 @default.
- W2171239903 creator A5079324753 @default.
- W2171239903 date "2013-06-20" @default.
- W2171239903 modified "2023-10-18" @default.
- W2171239903 title "Faceted execution of policy-agnostic programs" @default.
- W2171239903 cites W1497744324 @default.
- W2171239903 cites W1522146952 @default.
- W2171239903 cites W1972238918 @default.
- W2171239903 cites W1999602293 @default.
- W2171239903 cites W2008332764 @default.
- W2171239903 cites W2016017569 @default.
- W2171239903 cites W2027822753 @default.
- W2171239903 cites W2034810774 @default.
- W2171239903 cites W2056036320 @default.
- W2171239903 cites W2061056245 @default.
- W2171239903 cites W2094873755 @default.
- W2171239903 cites W2095797338 @default.
- W2171239903 cites W2096870293 @default.
- W2171239903 cites W2106573617 @default.
- W2171239903 cites W2111794592 @default.
- W2171239903 cites W2120620789 @default.
- W2171239903 cites W2121822272 @default.
- W2171239903 cites W2121988324 @default.
- W2171239903 cites W2122049982 @default.
- W2171239903 cites W2128932642 @default.
- W2171239903 cites W2129278597 @default.
- W2171239903 cites W2139093088 @default.
- W2171239903 cites W2145846275 @default.
- W2171239903 cites W2149465027 @default.
- W2171239903 cites W2155166319 @default.
- W2171239903 cites W2156745311 @default.
- W2171239903 cites W2159567171 @default.
- W2171239903 cites W2162755110 @default.
- W2171239903 cites W2167004108 @default.
- W2171239903 cites W2168617729 @default.
- W2171239903 cites W2171295941 @default.
- W2171239903 cites W2171690178 @default.
- W2171239903 cites W2997271062 @default.
- W2171239903 cites W4206358530 @default.
- W2171239903 cites W4234045312 @default.
- W2171239903 cites W4240226860 @default.
- W2171239903 cites W4243882797 @default.
- W2171239903 cites W4243963980 @default.
- W2171239903 cites W4254691308 @default.
- W2171239903 cites W44396093 @default.
- W2171239903 doi "https://doi.org/10.1145/2465106.2465121" @default.
- W2171239903 hasPublicationYear "2013" @default.
- W2171239903 type Work @default.
- W2171239903 sameAs 2171239903 @default.
- W2171239903 citedByCount "43" @default.
- W2171239903 countsByYear W21712399032014 @default.
- W2171239903 countsByYear W21712399032015 @default.
- W2171239903 countsByYear W21712399032016 @default.
- W2171239903 countsByYear W21712399032017 @default.
- W2171239903 countsByYear W21712399032018 @default.
- W2171239903 countsByYear W21712399032019 @default.
- W2171239903 countsByYear W21712399032020 @default.
- W2171239903 countsByYear W21712399032021 @default.
- W2171239903 countsByYear W21712399032022 @default.
- W2171239903 crossrefType "proceedings-article" @default.
- W2171239903 hasAuthorship W2171239903A5010786661 @default.
- W2171239903 hasAuthorship W2171239903A5018139743 @default.
- W2171239903 hasAuthorship W2171239903A5040486235 @default.
- W2171239903 hasAuthorship W2171239903A5079324753 @default.
- W2171239903 hasBestOaLocation W21712399032 @default.
- W2171239903 hasConcept C111472728 @default.
- W2171239903 hasConcept C115903868 @default.
- W2171239903 hasConcept C126255220 @default.
- W2171239903 hasConcept C127413603 @default.
- W2171239903 hasConcept C137631369 @default.
- W2171239903 hasConcept C138885662 @default.
- W2171239903 hasConcept C173404611 @default.
- W2171239903 hasConcept C199360897 @default.
- W2171239903 hasConcept C2776036281 @default.
- W2171239903 hasConcept C2778514511 @default.
- W2171239903 hasConcept C2779136372 @default.
- W2171239903 hasConcept C2780586882 @default.
- W2171239903 hasConcept C33923547 @default.
- W2171239903 hasConcept C34165917 @default.
- W2171239903 hasConcept C38652104 @default.
- W2171239903 hasConcept C41008148 @default.
- W2171239903 hasConcept C41895202 @default.
- W2171239903 hasConcept C71745522 @default.
- W2171239903 hasConcept C78519656 @default.
- W2171239903 hasConceptScore W2171239903C111472728 @default.
- W2171239903 hasConceptScore W2171239903C115903868 @default.
- W2171239903 hasConceptScore W2171239903C126255220 @default.
- W2171239903 hasConceptScore W2171239903C127413603 @default.
- W2171239903 hasConceptScore W2171239903C137631369 @default.
- W2171239903 hasConceptScore W2171239903C138885662 @default.
- W2171239903 hasConceptScore W2171239903C173404611 @default.
- W2171239903 hasConceptScore W2171239903C199360897 @default.
- W2171239903 hasConceptScore W2171239903C2776036281 @default.
- W2171239903 hasConceptScore W2171239903C2778514511 @default.
- W2171239903 hasConceptScore W2171239903C2779136372 @default.
- W2171239903 hasConceptScore W2171239903C2780586882 @default.