CCS’17 paper accepted!

with No Comments

This paper presents Themis, an end-to-end static analysis tool for finding resource-usage side-channel vulnerabilities in Java applications. We introduce the notion of ε-bounded non-interference, a variant and relaxation of Goguen and Meseguer’s well-known non-interference principle. We then present Quantitative Cartesian … Read More

POPL’17 paper accepted

with No Comments

Our paper called “Component-Based Synthesis for Complex APIs” is accepted to POPL 2017 in Paris! Here is the abstract: Component-based approaches to program synthesis assemble programs from a database of existing components, such as methods provided by an API. In this … Read More