Trustworthy Systems

Ivan Velickovic
Senior OS Engineer

Research Interests

Ivan is working on the seL4 Microkit, seL4 Device Driver Framework, virtualisation on seL4, and LionsOS. Most of his time is spent mentoring and helping others in the team towards building a functional and usable LionsOS.

Contact Details

Email:i.velickovic@unsw.edu.au

More contact information is available at the Contact page.

Photo of Ivan Velickovic

Publication List

Projects

Current

Past

Publications

Trustworthy Systems Group Papers

2023

Abstract Slides
Video 		Ivan Velickovic
The seL4 Microkit
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