IFCaaS: Information Flow Control as a Service for Cloud Security
A Sound Type System For Secure Flow Analysis