Trusted Monitor: TEE-Based System Monitoring | IEEE Conference Publication | IEEE Xplore