A Perspective on Information-Flow Control (2011) [pdf]cse.chalmers.se19 pointsvezzy-fnord11 years ago