@misc{Heiser_22:cyberuk, author = {Gernot Heiser}, howpublished = {Invited Talk at the {CyberUK} Conference}, location = {Newport, UK}, month = may, title = {Security is no excuse for poor performance: welcome to the world's most highly assured operating system}, year = {2022} }