Borna Blazevic, Michael Peter, Mohammad Hamad, Sebastian Steinhorst. TEEVseL4: Trusted Execution Environment for Virtualized seL4-Based Systems. In 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2023, Niigata, Japan, August 30 - Sept. 1, 2023. pages 67-76, IEEE, 2023. [doi]
Abstract is missing.