TEE-Perf: A Profiler for Trusted Execution Environments | IEEE Conference Publication | IEEE Xplore