Trustworthy Systems

Ivan Velickovic
OS Engineer

Research Interests

Ivan is working on the seL4 Core Platform and device driver virtualisation on seL4.

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

Publications

Trustworthy Systems Group Papers

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