Daniel B. Giffin

TL;DR: A new web framework, Hails, is presented that adds mandatory access control and a declarative policy language to the familiar MVC architecture and is demonstrated through GitStar.com, a code-hosting website that enforces robust privacy policies on user data even while allowing untrusted apps to deliver extended features to users.

TL;DR: Tock isolates software faults, provides memory protection, and efficiently manages memory for dynamic application workloads written in any language while retaining the dependability requirements of long-running applications.

TL;DR: Hails as discussed by the authors is a framework for building web platforms that adds mandatory access control and a declarative policy language to the familiar MVC architecture and demonstrates the flexibility of Hails by building several platforms, including a code-hosting website that enforces robust privacy policies on user data even while allowing untrusted apps to deliver extended features to users.

TL;DR: Tock, a new operating system for low-power platforms, takes advantage of the limited hardware-protection mechanisms available on recent microcontrollers and the type-safety features of the Rust programming language to provide a multiprogramming environment that offers isolation of software faults, memory protection, and efficient memory management for dynamic application workloads written in any language while retaining the dependability requirements of long-running devices.

TL;DR: REX is a remote execution utility with a novel architecture specifically designed for extensibility as well as security and transparent connection persistence in the face of network complexities such as NAT and dynamic IP addresses.