Lucy Parker
Honours Thesis Student
Research Interests
Lucy is worked on the Device Driver Framework, to optimise device drivers running on seL4.
Contact Details
More contact information is available at the Contact page.
Projects
Past |
Publications
Trustworthy Systems Group Papers
2023
|
Lucy Parker The seL4 device driver framework Talk at the 5th seL4 Summit, September, 2023 |
2022
|
|
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 |
|
Lucy Parker The seL4 device driver framework Talk at the 4th seL4 Summit, October, 2022 |