Maxwell N. Krohn Eran Tromer Noninterference for a Practical DIFC-Based Operating System. 61-76 2009 IEEE Symposium on Security and Privacy http://dx.doi.org/10.1109/SP.2009.23 conf/sp/2009 db/conf/sp/sp2009.html#KrohnT09