TEEVseL4: Trusted Execution Environment for Virtualized seL4-Based Systems | IEEE Conference Publication | IEEE Xplore