"SGX-LKL: Securing the Host OS Interface for Trusted Execution."

Christian Priebe et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics