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.
Email: | c.darville@unsw.edu.au |
---|
More contact information is available at the Contact page.
Current |
Past |