IFCaaS: Information Flow Control as a Service for Cloud Security | IEEE Conference Publication | IEEE Xplore