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]
No references recorded for this publication.
No citations of this publication recorded.