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]

Bibliographies