@misc{Heiser_22:sel4s, author = {Gernot Heiser}, howpublished = {Keynote at the {seL4} Summit}, location = {Munich, DE}, month = oct, title = {State of {seL4}-related Research}, video = {https://youtu.be/C3nOjXhyPfk}, year = {2022} }