Student Work
Trusted Execution Environments with Architectural Support: Foundations and Implementation
PúblicoIn this project, we added support to the OCaml interpreter to use the protections afforded by Intel’s Software Guard Extensions (SGX). In particular, this is applied to a cryptographic protocol generator to provide provably secure message exchange even in the face of a malicious operating system. We argue from a theoretical and experimental perspective that the modifications presented do not alter program behavior and are not vulnerable to attacks on our use of cryptography or implementation issues. We also provide a set of guidelines for developers working with SGX to prevent security bugs.
- This report represents the work of one or more WPI undergraduate students submitted to the faculty as evidence of completion of a degree requirement. WPI routinely publishes these reports on its website without editorial or peer review.
- Creator
- Publisher
- Identifier
- E-project-090716-110320
- Advisor
- Year
- 2016
- Center
- Sponsor
- Date created
- 2016-09-07
- Resource type
- Major
- Rights statement
Las relaciones
- En Collection:
Elementos
Elementos
Miniatura | Título | Visibilidad | Embargo Release Date | Acciones |
---|---|---|---|---|
|
teeas.pdf | Público | Descargar | |
![]() |
opensgx.diff | Público | Descargar | |
![]() |
ocaml-sgx.tar.gz | Público | Descargar |
Permanent link to this page: https://digital.wpi.edu/show/2f75r945c