Trustworthy Systems

Lucy Parker
Honours Thesis Student

Research Interests

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

Contact Details

Email:lucy.parker@student.unsw.edu.au

More contact information is available at the Contact page.

Photo of Lucy Parker

Publication List

Projects

Current

Publications

Trustworthy Systems Group Papers

2023

Abstract Slides
Video
Lucy Parker
The seL4 device driver framework
Talk at the 5th seL4 Summit, September, 2023

2022

Abstract
Slides
PDF
Presentation Video
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, November, 2022
Abstract Slides
Video
Lucy Parker
The seL4 device driver framework
Talk at the 4th seL4 Summit, October, 2022