GuaranTEE: Introducing Control-Flow Attestation for Trusted Execution Environments. - Mathias Morbitzer; Benedikt Kopf; Philipp Zieris (CLOUD, 2023)