Courtney Darville
OS Engineer
Research Interests
Courtney works on secure multi-server operating system design, and on applying model checking to verify inter-component communication in a highly modular seL4-based OS.
Contact Details
| Email: | c.darville@unsw.edu.au |
|---|
More contact information is available at the Contact page.
Projects
Current |
Past |
Publications
Trustworthy Systems Group Papers
2024
|
 |
Gernot Heiser, Peter Chubb, Alex Brown, Courtney Darville and Lucy Parker sDDF design: design, implementation and evaluation of the seL4 device driver framework 2024 |