Most commodity processors available today provide hardware-supported security
extensions. Remote attestation has been declared an important step towards providing …

Trusted execution environments (TEEs) see rising use in devices from embedded sensors to
cloud servers and encompass a range of cost, power constraints, and security threat model …

Building on our experience and other experiments, we perform a strengths, weaknesses,
opportunities, and threats analysis of x86 platform trusted execution environments (TEEs) in …

While the benefits of networked embedded and Internet of Things (IoT) systems are
unparalleled, they are susceptible to cyberattacks. In recent years, Trusted Execution …

The limitations of the two main approaches to enforcing integrity of execution on third-party
servers, enclave-based execution (eg, Intel SGX) and log-and-replay (eg, Orochi), constrain …

In this work, we take the first step towards formal verification of Remote Attestation (RA) by
designing and verifying an architecture called VRASED: Verifiable Remote Attestation for …

The Trusted Execution Environment (TEE) is designed to improve the security of computing
environments. TEE is the computational isolation of the application's execution environment …

Remote attestation protocols are valuable tools to cryptographically verify the integrity of
remote software stacks. Usually these protocols rely on a specific hardware-based trusted …

The growing complexity of modern computing platforms and the need for strong isolation
protections among their software components has led to the increased adoption of Trusted …

Hardware support for isolated execution (eg, ARM TrustZone) enables the development of a
trusted execution environment (TEE) that ensures the security of the code and data while …