An empirical study of privacy-violating information flows in JavaScript web applications
A lattice model of secure information flow