Trustworthy Systems

Lucy Parker
Research Assistant

Research Interests

Lucy is working on the Device Driver Framework, to optimise device drivers running on seL4.

Contact Details

More contact information is available at the Contact page.

Photo of Lucy Parker

Publication List




Trustworthy Systems Group Papers

To appear

Abstract to be published Gernot Heiser, Lucy Parker, Ivan Velickovic, Peter Chubb and Ben Leslie
Can we put the "S" into IoT?
IEEE World Forum on Internet of Things, Yokohama, JP,