- Statically Verifying Contracts in Higher-order Languages. Phil Nguyen, David Van Horn.
- Programming Languages for Secure Multiparty Computation. Michael Hicks, David Darais.
- Dynamic Updating for High-Availability Software Systems. Michael Hicks, Luis Pina.
We will update each of these bullets to include more details about each project, as we find the time!