Noninterference for a Practical DIFC-Based Operating System

Maxwell N. Krohn, Eran Tromer. Noninterference for a Practical DIFC-Based Operating System. In 30th IEEE Symposium on Security and Privacy (S&P 2009), 17-20 May 2009, Oakland, California, USA. pages 61-76, IEEE Computer Society, 2009. [doi]

Authors

Maxwell N. Krohn

This author has not been identified. Look up 'Maxwell N. Krohn' in Google

Eran Tromer

This author has not been identified. Look up 'Eran Tromer' in Google