9 citations · 19 across the 5 of their papers we have counts for
4 papers · 1 filter
Formulog: Datalog for SMT-Based Static Analysis (Extended Version)
Aaron Bembenek, Michael Greenberg, Stephen Chong
Satisfiability modulo theories (SMT) solving has become a critical part of many static analyses, including symbolic execution, refinement type checking, and model checking. We prop…
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…
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…
FormuLog: Datalog for static analysis involving logical formulae
Aaron Bembenek, Stephen Chong
Datalog has become a popular language for writing static analyses. Because Datalog is very limited, some implementations of Datalog for static analysis have extended it with new la…