B. Jung, C. Eichler, J. Röckl, R. Schlenk, T. Hönig, and T. Müller. " Trusted Monitor: TEE-Based System Monitoring", in Proceedings of the 12th Brazilian Symposium on Computing Systems Engineering, Fortaleza/CE, 2022, pp. 47-54.