VerSum: Verifiable Computations over Large Public Logs. - Jelle van den Hooff; M. Frans Kaashoek; Nickolai Zeldovich (CCS, 2014)

Mjölnir: The Magical Web Application Hammer. - Jelle van den Hooff; David Lazar; James Mickens (APSys, 2015)

Amber: Decoupling User Data from Web Applications. - Tej Chajed; Jon Gjengset; Jelle van den Hooff; M. Frans Kaashoek; James Mickens; Robert Morris 005; Nickolai Zeldovich (HotOS, 2015)

Vuvuzela: scalable private messaging resistant to traffic analysis. - Jelle van den Hooff; David Lazar; Matei Zaharia; Nickolai Zeldovich (SOSP, 2015)