The Crew 

• Anil Madhavapeddy, University of Cambridge, anil.recoil.org

• Thomas Gazagnaire, OCamlPro, thomas.gazagnaire.org

• Richard Mortier, University of Nottingham, cs.nott.ac.uk

• David Scott, Citrix Systems R&D, dave.recoil.org

• Raphael Proust, University of Cambridge

• Haris Rotsos, University of Cambridge, cl.cam.ac.uk

• Balraj Singh, University of Cambridge

• Jon Crowcroft, University of Cambridge, cl.cam.ac.uk

• Steven Hand, University of Cambridge, cl.cam.ac.uk

• Vincent Bernardoff, Citrix Systems R&D

The Project 

We acknowledge funding from the RCUK Horizon Digital Economy Research Hub grant, EP/G065802/1. Amazon also granted us an Amazon in Education award to test on EC2, and Verisign sponsored work on the secure DNS library.