@inproceedings{Shen_Elphinstone_15, month = sep, keywords = {multicore; kernel; reliability}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/8680.pdf}, booktitle = {European Dependable Computing Conference}, author = {Shen, Yanyan and Elphinstone, Kevin}, year = {2015}, pages = {12}, title = {Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware}, address = {Paris, France} }