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