2018/04/27 by Carlton Shepherd, Raja Naeem Akram, Shepherd, Carlton +3
Computer Science · #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Security and Verification in Computing
paper · pdf · doi:10.48550/arxiv.1804.10707
openalex publication_date 2018/04/27 · openalex created_date 2022/10/03 · openalex updated_date 2026/07/28
Trusted Execution Environments (TEEs) are rapidly emerging as a root-of-trust\nfor protecting sensitive applications and data using hardware-backed isolated\nworlds of execution. TEEs provide robust assurances regarding critical\nalgorithm execution, tamper-resistant credential storage, and platform\nintegrity using remote attestation. However, the challenge of remotely managing\ncredentials between TEEs remains largely unaddressed in existing literature. In\nthis work, we present novel protocols using mutual attestation for supporting\nfour aspects of secure remote credential management with TEEs: backups,\nupdates, migration, and revocation. The proposed protocols are agnostic to the\nunderlying TEE implementation and subjected to formal verification using\nScyther, which found no attacks.\n