20 citations · 43 across the 10 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
On the automated verification of web applications with embedded SQL
Shachar Itzhaky, Tomer Kotek, Noam Rinetzky +4
A large number of web applications is based on a relational database together with a program, typically a script, that enables the user to interact with the database through embedd…
cs.PL2016
Liquid Information Flow Control
Nadia Polikarpova, Deian Stefan, Jean Yang +3
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 declarati…