TEEVseL4: Trusted Execution Environment for Virtualized seL4-Based Systems. - Borna Blazevic; Michael Peter; Mohammad Hamad; Sebastian Steinhorst (RTCSA, 2023)