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
2025
|
 |
Gernot Heiser, Ivan Velickovic, Peter Chubb, Alwin Joshy, Anuraag Ganesh, Bill Nguyen, Cheng Li, Courtney Darville, Guangtao Zhu, James Archer, Jingyao Zhou, Krishnan Winter, Lucy Parker, Szymon Duchniewicz and Terry Bai Fast, secure, adaptable: LionsOS design, implementation and performance arXiv preprint, January, 2025 |
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 |