Indrajit Roy Donald E. Porter Michael D. Bond Kathryn S. McKinley Emmett Witchel Laminar: practical fine-grained decentralized information flow control. 63-74 2009 PLDI http://doi.acm.org/10.1145/1542476.1542484 conf/pldi/2009 db/conf/pldi/pldi2009.html#RoyPBMW09