@misc{Heiser_19:dac, howpublished = {Invited talk at Design Automation Conference (DAC), Las Vegas, NV, USA}, month = jun, slides = {https://ts.data61.csiro.au/publications/papers/Heiser_19:dac.slides.pdf}, author = {Gernot Heiser}, title = {Security needs a better hardware-software contract}, year = {2019} }