Secure Composition of Systems and Policies - October 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, Limin Jia
Co-PI(s):
Researchers:

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

Scalability and Composability

Our work addresses the Scalability and Composability problem. The reasoning principles we have developed allow both sequential and parallel composition of programs. Our program logic takes into consideration that components execute in a potentially adversarial environment, and therefore, the compositionality of components in the presence of adversaries is built into our semantic model.

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.