Remote Attestation (RA) is a distinct security service that allows a trusted verifier (Vrf) to
measure the software state of an untrusted remote prover (Prv). If correctly implemented, RA …

Hardware-based Trusted Execution Environments (TEEs) are widely deployed in mobile
devices. Yet their use has been limited primarily to applications developed by the device …

Remote Attestation (RA) is an interaction between a trusted verifier (Vrf) and one or more
remote and potentially compromised devices (provers or Prv-s) that allow the former to …

Remote attestation is a technique in Trusted Computing to verify the trustworthiness of a
client platform. The most well-known method of verifying the client system to the remote end …

Remote attestation was introduced in TCG specifications to determine whether a remote
system is trusted to behave in a particular manner for a specific purpose; however, most of …

ARM processors used in modern mobile devices, such as smartphones and tablets, use
TrustZone to implement a trusted execution environment (TEE). In this paper, we argue that …

Measurers are critical to a remote attestation (RA) system to verify the integrity of a remote
untrusted host. Run-time measurers in a dynamic RA system sample the dynamic program …

Autonomous and robotic systems are increasingly being trusted with sensitive activities with
potentially serious consequences if that trust is broken. Runtime verification techniques …

Remote attestation (RA) authenticates code running in trusted execution environments
(TEEs), allowing trusted code to be deployed even on untrusted hosts. However, trust …

Nowadays, critical infrastructures are managed through paradigms such as cloud/fog/edge
computing and Network Function Virtualization (NFV), providing advantages as flexibility …