TEEVseL4: Trusted Execution Environment for Virtualized seL4-Based Systems.

Borna Blazevic, Michael Peter, Mohammad Hamad, Sebastian Steinhorst

Browse the full RTCSA paper archive.