Yin Liu Ana Milanova Static analysis for inference of explicit information flow. 50-56 2008 PASTE http://doi.acm.org/10.1145/1512475.1512486 conf/paste/2008 db/conf/paste/paste2008.html#LiuM08