Ivan Velickovic

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Cloud Computing

Top Venues

Publications

Gernot Heiser, Ivan Velickovic
Tutorial: Using the seL4 Microkernel. DSN-S (2023)
Gernot Heiser, Lucy Parker, Peter Chubb, Ivan Velickovic, Ben Leslie
Can We Put the "S" Into IoT? WF-IoT (2022)