FlowK: Information Flow Control for the Cloud