Skip to main content

Secure Concurrent Distributed Programming

Researcher: Frank Pfenning

Cross Cutting Thrusts: Software Security | Formal Methods

Abstract

Scope: We are designing and implementing a concurrent distributed programming language with advanced security guarantees. It derives its expressive power from the underlying logic, which incorporates linearity, epistemic modalities, and affirmations that characterize distributed possession, knowledge, and authorization. This is a continuation of last year’s seed grant, which has achieved highly promising preliminary results.

Outcomes: We have published several papers, and plan to start work on a prototype implementation this year, hoping to demonstrate feasibility.