University of Twente Student Theses
PATAT : An Open Source Attestation Mechanism for Trusted Execution Environments on TrustZone devices
Nijeboer, F.J. (2024) PATAT : An Open Source Attestation Mechanism for Trusted Execution Environments on TrustZone devices.
|
PDF
1MB |
| Abstract: | As technology evolves, secure computing environments become increasingly critical. Arm TrustZone, a hardware-based security extension for Cortex processors, provides a trusted environment for applications requiring high levels of confidentiality and integrity. However, effective attestation mechanisms to verify the integrity of TrustZone applications have not been standardized yet. In this research, we investigate the state of attestation mechanisms for Arm TrustZone and propose a novel mechanism, called PATAT, based on Merkle Trees — a data structure for secure data verification — and the Noise Protocol Framework, a framework for building cryptographic handshakes for secure communication. PATAT is designed to fit the Remote Attestation and Trusted Systems (RATS) Architecture, an architecture for attestation mechanisms defined in RFC 9334. We formally verify PATAT using the Tamarin prover, a tool for security protocol analysis, and implement a proof-of-concept to evaluate its performance. |
| Item Type: | Essay (Master) |
| Clients: | Scalys BV, Hengelo, Netherlands |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science MSc (60300) |
| Link to this item: | https://purl.utwente.nl/essays/99199 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page