IFCaaS: Information Flow Control as a Service for Cloud Security
Finding Security Vulnerabilities in Java Applications with Static Analysis