Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949277825> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2949277825 abstract "Faceted Execution is a linguistic paradigm for dynamic information-flow control. Under faceted execution, secure program data is represented by faceted values: decision trees that encode how the data should appear to its owner (represented by a label) versus everyone else. When labels are allowed to be first-class (i.e., predicates that decide at runtime which data to reveal), faceted execution enables policy-agnostic programming: a programming style that allows privacy policies for data to be enforced independently of code that computes on that data. To date, implementations of faceted execution are relatively heavyweight: requiring either changing the language runtime or the application code (e.g., by using monads). Following Racket's languages-as-libraries approach, we present Racets: an implementation of faceted execution as a library of macros. Given Racket's highly-expressive macro system, our implementation follows relatively directly from the semantics of faceted execution. To demonstrate how Racets can be used for policy-agnostic programming, we use it to build a web-based game of Battleship. Our implementation sheds light on several interesting issues in interacting with code written without faceted execution. Our Racets implementation is open source, under development, and available online." @default.
- W2949277825 created "2019-06-27" @default.
- W2949277825 creator A5066289382 @default.
- W2949277825 creator A5080073613 @default.
- W2949277825 creator A5087888313 @default.
- W2949277825 date "2018-07-24" @default.
- W2949277825 modified "2023-10-17" @default.
- W2949277825 title "Racets: Faceted Execution in Racket" @default.
- W2949277825 cites W1518533182 @default.
- W2949277825 cites W1779102629 @default.
- W2949277825 cites W1972999341 @default.
- W2949277825 cites W1977764760 @default.
- W2949277825 cites W2005525408 @default.
- W2949277825 cites W2008332764 @default.
- W2949277825 cites W2027146564 @default.
- W2949277825 cites W2029786195 @default.
- W2949277825 cites W2041042116 @default.
- W2949277825 cites W2106573617 @default.
- W2949277825 cites W2123858370 @default.
- W2949277825 cites W2149465027 @default.
- W2949277825 cites W2153684747 @default.
- W2949277825 cites W2158126684 @default.
- W2949277825 cites W2171239903 @default.
- W2949277825 cites W2463192860 @default.
- W2949277825 cites W25579122 @default.
- W2949277825 cites W2612745372 @default.
- W2949277825 hasPublicationYear "2018" @default.
- W2949277825 type Work @default.
- W2949277825 sameAs 2949277825 @default.
- W2949277825 citedByCount "0" @default.
- W2949277825 crossrefType "posted-content" @default.
- W2949277825 hasAuthorship W2949277825A5066289382 @default.
- W2949277825 hasAuthorship W2949277825A5080073613 @default.
- W2949277825 hasAuthorship W2949277825A5087888313 @default.
- W2949277825 hasConcept C104317684 @default.
- W2949277825 hasConcept C121332964 @default.
- W2949277825 hasConcept C160191386 @default.
- W2949277825 hasConcept C166955791 @default.
- W2949277825 hasConcept C169590947 @default.
- W2949277825 hasConcept C177264268 @default.
- W2949277825 hasConcept C185592680 @default.
- W2949277825 hasConcept C199360897 @default.
- W2949277825 hasConcept C24890656 @default.
- W2949277825 hasConcept C26713055 @default.
- W2949277825 hasConcept C2776760102 @default.
- W2949277825 hasConcept C2776834041 @default.
- W2949277825 hasConcept C2778707667 @default.
- W2949277825 hasConcept C34165917 @default.
- W2949277825 hasConcept C41008148 @default.
- W2949277825 hasConcept C55493867 @default.
- W2949277825 hasConcept C65655974 @default.
- W2949277825 hasConcept C66746571 @default.
- W2949277825 hasConceptScore W2949277825C104317684 @default.
- W2949277825 hasConceptScore W2949277825C121332964 @default.
- W2949277825 hasConceptScore W2949277825C160191386 @default.
- W2949277825 hasConceptScore W2949277825C166955791 @default.
- W2949277825 hasConceptScore W2949277825C169590947 @default.
- W2949277825 hasConceptScore W2949277825C177264268 @default.
- W2949277825 hasConceptScore W2949277825C185592680 @default.
- W2949277825 hasConceptScore W2949277825C199360897 @default.
- W2949277825 hasConceptScore W2949277825C24890656 @default.
- W2949277825 hasConceptScore W2949277825C26713055 @default.
- W2949277825 hasConceptScore W2949277825C2776760102 @default.
- W2949277825 hasConceptScore W2949277825C2776834041 @default.
- W2949277825 hasConceptScore W2949277825C2778707667 @default.
- W2949277825 hasConceptScore W2949277825C34165917 @default.
- W2949277825 hasConceptScore W2949277825C41008148 @default.
- W2949277825 hasConceptScore W2949277825C55493867 @default.
- W2949277825 hasConceptScore W2949277825C65655974 @default.
- W2949277825 hasConceptScore W2949277825C66746571 @default.
- W2949277825 hasLocation W29492778251 @default.
- W2949277825 hasOpenAccess W2949277825 @default.
- W2949277825 hasPrimaryLocation W29492778251 @default.
- W2949277825 hasRelatedWork W143147171 @default.
- W2949277825 hasRelatedWork W1585183969 @default.
- W2949277825 hasRelatedWork W1795078732 @default.
- W2949277825 hasRelatedWork W1827599051 @default.
- W2949277825 hasRelatedWork W1920333081 @default.
- W2949277825 hasRelatedWork W1953786023 @default.
- W2949277825 hasRelatedWork W1996254964 @default.
- W2949277825 hasRelatedWork W2119296542 @default.
- W2949277825 hasRelatedWork W2129991479 @default.
- W2949277825 hasRelatedWork W2161976503 @default.
- W2949277825 hasRelatedWork W2166577590 @default.
- W2949277825 hasRelatedWork W2169455610 @default.
- W2949277825 hasRelatedWork W2203630088 @default.
- W2949277825 hasRelatedWork W2242800645 @default.
- W2949277825 hasRelatedWork W2299441260 @default.
- W2949277825 hasRelatedWork W2766029003 @default.
- W2949277825 hasRelatedWork W2884037748 @default.
- W2949277825 hasRelatedWork W29101016 @default.
- W2949277825 hasRelatedWork W2914873131 @default.
- W2949277825 hasRelatedWork W3139323122 @default.
- W2949277825 isParatext "false" @default.
- W2949277825 isRetracted "false" @default.
- W2949277825 magId "2949277825" @default.
- W2949277825 workType "article" @default.