Ivan Velickovic

According to our database, Ivan Velickovic authored at least 3 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance.

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, Tianyi Bai

CoRR, January, 2025

2023

Tutorial: Using the seL4 Microkernel.

Gernot Heiser, Ivan Velickovic

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022

Can We Put the "S" Into IoT?

Gernot Heiser, Lucy Parker, Peter Chubb, Ivan Velickovic, Ben Leslie

Proceedings of the 8th IEEE World Forum on Internet of Things, 2022