@misc{Heiser_19:dac, author = {Gernot Heiser}, howpublished = {Invited talk at Design Automation Conference (DAC), Las Vegas, NV, USA}, month = jun, title = {Security needs a better hardware-software contract}, year = {2019} }