Ivan Velickovic
Senior OS Engineer
Research Interests
Ivan is working on the seL4 Microkit and device driver virtualisation on seL4.
Contact Details
Email: | i.velickovic@unsw.edu.au |
---|
More contact information is available at the Contact page.
Projects
Current |
Past |
Publications
Trustworthy Systems Group Papers
2023
|
Ivan Velickovic The seL4 Microkit 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 |