Noninterference for a practical DIFC-based operating system. (2009)

by M Krohn, E Tromer
Venue:In A. Myers & D. Evans (Eds.), Proceedings of the 2009 30th IEEE Symposium on Security and Privacy