Yanyan Shen, Kevin Elphinstone. Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware. In 11th European Dependable Computing Conference, EDCC 2015, Paris, France, September 7-11, 2015. pages 155-166, IEEE, 2015. [doi]
Abstract is missing.