Information Flow Control for Static Enforcement of User-Defined Privacy Policies | IEEE Conference Publication | IEEE Xplore