Gernot Heiser receives funding from the Australian Department of Defence and has received funding from Google for research on timing-channel defence mechanisms. He has in the past received funding ...