CloudSafetyNet
CloudSafetyNet: End-to-end application security in the cloud. The project will explore the use of Information Flow Control to achieve greater security in cloud computing.
EPSRC grant EP/K011510/1: January 2013 - December 2015
with Imperial College EP/K008129/1
