@misc{Heiser_20:sel4sotu, author = {Gernot Heiser}, howpublished = {Keynote at the 3rd seL4 Summit}, month = nov, subtitle = {aka State of the Union}, title = {The {seL4} Report}, video = {https://www.youtube.com/watch?v=_2KgrFm2Fz4}, year = {2020} }