Supporting temporal and spatial isolation in a hypervisor for ARM multicore platforms | IEEE Conference Publication | IEEE Xplore