Trustworthy Systems

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.

Photo of Lucy Parker

Publication List

Projects

Past

Publications

    Trustworthy Systems Group Papers

    2024

    Abstract PDF Gernot Heiser, Peter Chubb, Alex Brown, Courtney Darville and Lucy Parker
    sDDF design: design, implementation and evaluation of the seL4 device driver framework
    2024

    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