research
∙
04/15/2022
Towards Porting Operating Systems with Program Synthesis
The end of Moore's Law has ushered in a diversity of hardware not seen i...
share
research
∙
06/03/2021
Relational Analysis of Sensor Attacks on Cyber-Physical Systems
Cyber-physical systems, such as self-driving cars or autonomous aircraft...
research
∙
04/21/2021
A Calculus for Flow-Limited Authorization
Real-world applications routinely make authorization decisions based on ...
research
∙
09/17/2020
Formulog: Datalog for SMT-Based Static Analysis (Extended Version)
Satisfiability modulo theories (SMT) solving has become a critical part ...
research
∙
07/25/2020
Coupled Relational Symbolic Execution for Differential Privacy
Differential privacy is a de facto standard in data privacy with applica...
research
∙
10/22/2019
Formalizing Privacy Laws for License Generation and Data Repository Decision Automation
In this paper, we summarize work-in-progress on expert system support to...
research
∙
09/26/2019
Fine-Grained, Language-Based Access Control for Database-Backed Applications
Context: Database-backed applications often run queries with more author...
research
∙
07/31/2019
Aquarium: Cassiopea and Alewife Languages
This technical report describes two of the domain specific languages use...
research
∙
07/31/2019
Aquarium Technical Report Preprint
In this technical report, we present the core calculi for two of the dom...
research
∙
09/17/2018
FormuLog: Datalog for static analysis involving logical formulae
Datalog has become a popular language for writing static analyses. Becau...
research
∙
11/22/2017
Relational Symbolic Execution
Symbolic execution is a classical program analysis technique, widely use...
research
∙
08/29/2017