Student Work
Trusted Execution Environments with Architectural Support: Foundations and Implementation
ÖffentlichIn 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
Beziehungen
- In Collection:
Objekte
Artikel
Miniaturansicht | Titel | Sichtbarkeit | Embargo Release Date | Aktionen |
---|---|---|---|---|
|
teeas.pdf | Öffentlich | Herunterladen | |
![]() |
opensgx.diff | Öffentlich | Herunterladen | |
![]() |
ocaml-sgx.tar.gz | Öffentlich | Herunterladen |
Permanent link to this page: https://digital.wpi.edu/show/2f75r945c