Skip to main content

Yanyan Shen

Yanyan Shen
PhD Student

Research Interests

Yanyan is currently researching how to improve the trustworthiness of commodity hardware through software to enable the verified microkernel to be used in situations previously needing an air gap. Multi-core processors are used to provide redundancy and cross-core checking is employed to detect divergence caused by hardware faults. The aim is to increase the trustworthiness of a virtual air gap created by the microkernel, and thus systems running on COTS hardware.

Contact Details

Phone: +61 2 9490 5860
Email:Yanyan.Shen@data61.csiro.au

More contact information is available at the Contact page.

Photo of Yanyan Shen

Projects

Current

seL4

NICTA Papers

2015

Abstract PDF Yanyan Shen and Kevin Elphinstone
Microkernel mechanisms for improving the trustworthiness of commodity hardware
European Dependable Computing Conference, pp. 12, Paris, France, September, 2015

2013

Abstract PDF Kevin Elphinstone and Yanyan Shen
Improving the trustworthiness of commodity hardware with software
Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV), pp. 6, Budapest, Hungary , June, 2013

Served by Apache on Linux on seL4.