Projects
Established:
The Distributed Social Analytics Platform (DSoAP) project is focused on the “Huge Data” problem in social policy research caused by the breadth of data involved. Using aggregate social media data to investigate and validate social issues (such as employment, health…
Established:
An Ironclad App lets a user securely transmit her data to a remote machine with the guarantee that every instruction executed on that machine adheres to a formal abstract specification of the app’s behavior. This does more than eliminate implementation…
The Demikernel is a new library OS architecture for kernel-bypass I/O in datacenter servers. The Demikernel defines a new kernel-bypass I/O abstraction and uses library OSes to flexibly provide that abstraction across different kernel-bypass devices (e.g., DPDK, RDMA). This standardized,…
Project Everest aims to build and deploy a verified HTTPS stack, constructing a high-performance, standards-compliant, and verified implementation of the full HTTPS ecosystem.