Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware.

Yanyan Shen, Kevin Elphinstone

Browse the full EDCC paper archive.