An Abstraction Model and a Comparative Analysis of Intel and ARM Hardware Isolation Mechanisms | IEEE Conference Publication | IEEE Xplore