Skip to main content

Compiling Epistemic Specifications to Secure Distributed Code

Researcher: Frank Pfenning

Cross Cutting Thrusts: Software Security | Formal Methods

Abstract

Scope:  Compile a limited set of epistemic specifications into distributed code which obeys desired information flow properties by construction.

Outcomes: Prototype demonstration, and technical report or paper on preliminary results.