Remote Attestation Assurance Arguments for Trusted Execution Environments. - Ahmad B. Usman; Nigel Cole; Mikael Asplund; Felipe Boeira; Christian Vestlund (SAT-CPS@CODASPY, 2023)