Reconciling security with virtualization: A dual-hypervisor design for ARM TrustZone | IEEE Conference Publication | IEEE Xplore