9 citations · 19 across the 5 of their papers we have counts for
5 papers
Coupled Relational Symbolic Execution for Differential Privacy
Gian Pietro Farina, Stephen Chong, Marco Gaboardi
Differential privacy is a de facto standard in data privacy with applications in the private and public sectors. Most of the techniques that achieve differential privacy are based…
Formalizing Privacy Laws for License Generation and Data Repository Decision Automation
Micah Altman, Stephen Chong, Alexandra Wood
In this paper, we summarize work-in-progress on expert system support to automate some data deposit and release decisions within a data repository, and to generate custom license a…
Fine-Grained, Language-Based Access Control for Database-Backed Applications
Ezra Zigmond, Stephen Chong, Christos Dimoulas +1
Context: Database-backed applications often run queries with more authority than necessary. Since programs can access more data than they legitimately need, flaws in security check…
Cryptographically Secure Information Flow Control on Key-Value Stores
Lucas Waye, Pablo Buiras, Owen Arden +2
We present Clio, an information flow control (IFC) system that transparently incorporates cryptography to enforce confidentiality and integrity policies on untrusted storage. Clio…
A Framework for Creating Natural Language User Interfaces for Action-Based Applications
Stephen Chong, Riccardo Pucella
In this paper we present a framework for creating natural language interfaces to action-based applications. Our framework uses a number of reusable application-independent componen…