Trustworthy Systems

Ivan Velickovic
Lead 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

2025

Abstract PDF 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

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