In 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

• Biletch, Barry David

Publisher

• Worcester Polytechnic Institute

Identifier

• E-project-090716-110320

Advisor

• Lauer, Hugh C
• Dougherty, Daniel J.

Year

• 2016

Center

• MITRE-Bedford, Massachusetts Project Center - MQP

Sponsor

• The MITRE Corporation

Date created

• 2016-09-07

Resource type

• Major Qualifying Project

Major

• Interdisciplinary

Rights statement

• In Copyright

License

• All rights reserved