Alexander Yip Xi Wang Nickolai Zeldovich M. Frans Kaashoek Improving application security with data flow assertions. 291-304 2009 SOSP http://doi.acm.org/10.1145/1629575.1629604 conf/sosp/2009 db/conf/sosp/sosp2009.html#YipWZK09