Practical Fine-Grained Information Flow Control Using Laminar. - PORTER, DONALD E.; BOND, MICHAEL D.; ROY, INDRAJIT; MCKINLEY, KATHRYN S.; WITCHEL, EMMETT (ACM Transactions on Programming Languages & Systems, 2014)