Flexible Hardware-Managed Isolated Execution: Architecture, Software Support and Applications | IEEE Journals & Magazine | IEEE Xplore