• 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!