Katia Hristova Tom Rothamel Yanhong A. Liu Scott D. Stoller Efficient type inference for secure information flow. 85-94 2006 PLAS http://doi.acm.org/10.1145/1134744.1134759 conf/pldi/2006plas db/conf/pldi/plas2006.html#HristovaRLS06