Matches in SemOpenAlex for { <https://semopenalex.org/work/W3039933166> ?p ?o ?g. }
- W3039933166 abstract "We present Lifty, a domain-specific language for data-centric applications that manipulate sensitive data. A Lifty programmer annotates the sources of sensitive data with declarative security policies, and the language statically and automatically verifies that the application handles the data according to the policies. Moreover, if verification fails, Lifty suggests a provably correct repair, thereby easing the programmer burden of implementing policy enforcing code throughout the application. The main insight behind Lifty is to encode information flow control using liquid types, an expressive yet decidable type system. Liquid types enable fully automatic checking of complex, data dependent policies, and power our repair mechanism via type-driven error localization and patch synthesis. Our experience using Lifty to implement three case studies from the literature shows that (1) the Lifty policy language is sufficiently expressive to specify many real-world policies, (2) the Lifty type checker is able to verify secure programs and find leaks in insecure programs quickly, and (3) even if the programmer leaves out all policy enforcing code, the Lifty repair engine is able to patch all leaks automatically within a reasonable time." @default.
- W3039933166 created "2020-07-10" @default.
- W3039933166 creator A5010786661 @default.
- W3039933166 creator A5010920313 @default.
- W3039933166 creator A5022553295 @default.
- W3039933166 creator A5040486235 @default.
- W3039933166 creator A5082723061 @default.
- W3039933166 creator A5090671359 @default.
- W3039933166 date "2016-07-12" @default.
- W3039933166 modified "2023-09-27" @default.
- W3039933166 title "Liquid Information Flow Control" @default.
- W3039933166 cites W1461884856 @default.
- W3039933166 cites W1475493299 @default.
- W3039933166 cites W1498946538 @default.
- W3039933166 cites W1522146952 @default.
- W3039933166 cites W153174126 @default.
- W3039933166 cites W1592751104 @default.
- W3039933166 cites W1606733447 @default.
- W3039933166 cites W1606774834 @default.
- W3039933166 cites W1858945639 @default.
- W3039933166 cites W1905591175 @default.
- W3039933166 cites W1972999341 @default.
- W3039933166 cites W1992901014 @default.
- W3039933166 cites W1999602293 @default.
- W3039933166 cites W2012436850 @default.
- W3039933166 cites W2027961147 @default.
- W3039933166 cites W2028705369 @default.
- W3039933166 cites W2029349492 @default.
- W3039933166 cites W2033178475 @default.
- W3039933166 cites W2034810774 @default.
- W3039933166 cites W2037037228 @default.
- W3039933166 cites W2040669676 @default.
- W3039933166 cites W2045900383 @default.
- W3039933166 cites W2060710422 @default.
- W3039933166 cites W2064138295 @default.
- W3039933166 cites W2067012475 @default.
- W3039933166 cites W2073904768 @default.
- W3039933166 cites W2088923183 @default.
- W3039933166 cites W2091385303 @default.
- W3039933166 cites W2093535699 @default.
- W3039933166 cites W2100233145 @default.
- W3039933166 cites W2105315191 @default.
- W3039933166 cites W2107779615 @default.
- W3039933166 cites W2110904621 @default.
- W3039933166 cites W2119649973 @default.
- W3039933166 cites W2122049982 @default.
- W3039933166 cites W2125995229 @default.
- W3039933166 cites W2132138019 @default.
- W3039933166 cites W2133448626 @default.
- W3039933166 cites W2136624255 @default.
- W3039933166 cites W2139143398 @default.
- W3039933166 cites W2142458132 @default.
- W3039933166 cites W2144160229 @default.
- W3039933166 cites W2146356111 @default.
- W3039933166 cites W2154005761 @default.
- W3039933166 cites W2154564703 @default.
- W3039933166 cites W2158126684 @default.
- W3039933166 cites W2171239903 @default.
- W3039933166 cites W2171295941 @default.
- W3039933166 cites W2182283312 @default.
- W3039933166 cites W2218779089 @default.
- W3039933166 cites W2263738566 @default.
- W3039933166 cites W2294395356 @default.
- W3039933166 cites W2295923951 @default.
- W3039933166 cites W2402699044 @default.
- W3039933166 cites W2537680118 @default.
- W3039933166 cites W2538446731 @default.
- W3039933166 cites W2603456259 @default.
- W3039933166 cites W2625599531 @default.
- W3039933166 cites W2774134654 @default.
- W3039933166 cites W2964054648 @default.
- W3039933166 cites W2964296984 @default.
- W3039933166 cites W625745975 @default.
- W3039933166 cites W989845945 @default.
- W3039933166 cites W2725468844 @default.
- W3039933166 hasPublicationYear "2016" @default.
- W3039933166 type Work @default.
- W3039933166 sameAs 3039933166 @default.
- W3039933166 citedByCount "0" @default.
- W3039933166 crossrefType "posted-content" @default.
- W3039933166 hasAuthorship W3039933166A5010786661 @default.
- W3039933166 hasAuthorship W3039933166A5010920313 @default.
- W3039933166 hasAuthorship W3039933166A5022553295 @default.
- W3039933166 hasAuthorship W3039933166A5040486235 @default.
- W3039933166 hasAuthorship W3039933166A5082723061 @default.
- W3039933166 hasAuthorship W3039933166A5090671359 @default.
- W3039933166 hasConcept C104317684 @default.
- W3039933166 hasConcept C111919701 @default.
- W3039933166 hasConcept C134306372 @default.
- W3039933166 hasConcept C135257023 @default.
- W3039933166 hasConcept C138885662 @default.
- W3039933166 hasConcept C138958017 @default.
- W3039933166 hasConcept C153269930 @default.
- W3039933166 hasConcept C154908896 @default.
- W3039933166 hasConcept C160191386 @default.
- W3039933166 hasConcept C177264268 @default.
- W3039933166 hasConcept C185592680 @default.
- W3039933166 hasConcept C199360897 @default.
- W3039933166 hasConcept C2776760102 @default.
- W3039933166 hasConcept C2778514511 @default.