Secure Composition of Systems and Policies - July 2014

Public Audience
Purpose: To highlight progress. Information is generally at a higher level which is accessible to the interested public.

PI(s): Anupam Datta, Robert Harper, Limin Jia
Co-PI(s):
Researchers:

HARD PROBLEM(S) ADDRESSED
This refers to Hard Problems, released November 2012.

Scalability and Composability

PUBLICATIONS
Report papers written as a results of this research. If accepted by or submitted to a journal, which journal. If presented at a conference, which conference.

ACCOMPLISHMENT HIGHLIGHTS

* We completed the design of a program logic that can reason about adversary-supplied code via code identification and sandboxing

* We enriched our informtion flow analysis with policy-based declassification.