PhD Defense: Adapting Old Software to New Trust Models
Stephen Herwig
Remote
Abstract
Applications often assume that the same party owns all of the application’s resources, and that these resources require the same level of privacy. This assumption no longer holds when organizations outsource applications to a third-party cloud, or when the application requires access to not only public content, but private configuration, such as authentication and keying material. The result of this broken assumption is that applications either must be re-written to accommodate each new security posture, or used as-is, accepting that one party exposes private data to another.
In this dissertation, I argue the following thesis: it is possible to run legacy application binaries with confidentiality and integrity guarantees that reflect a multi-party trust setting. I support this thesis through the design, implementation, and evaluation of two distinct application-level virtualization layers that handle trust concerns on behalf of the application: conclaves and SecureMigration. Conclaves assume the availability of Intel SGX secure hardware enclaves and extend prior work in developing runtimes that execute legacy applications within an enclave. In contrast, SecureMigration does not use secure hardware, but rather composes information flow control with process migration to execute a process across multiple physical machines owned and operated by distinct principals, while shielding each principal’s sensitive portion of the process from its peers.
Examining Committee:
In this dissertation, I argue the following thesis: it is possible to run legacy application binaries with confidentiality and integrity guarantees that reflect a multi-party trust setting. I support this thesis through the design, implementation, and evaluation of two distinct application-level virtualization layers that handle trust concerns on behalf of the application: conclaves and SecureMigration. Conclaves assume the availability of Intel SGX secure hardware enclaves and extend prior work in developing runtimes that execute legacy applications within an enclave. In contrast, SecureMigration does not use secure hardware, but rather composes information flow control with process migration to execute a process across multiple physical machines owned and operated by distinct principals, while shielding each principal’s sensitive portion of the process from its peers.
Examining Committee:
Chair: Dr. Dave Levin
Dean's rep: Dr. Gang Qu
Members: Dr. Bobby Bhattacharjee
Dr. David Van Horn
Dean's rep: Dr. Gang Qu
Members: Dr. Bobby Bhattacharjee
Dr. David Van Horn
Dr. Christina Garman
Dr. Deepak Garg
Dr. Deepak Garg
Bio
Stephen Herwig is a Ph.D. candidate in Computer Science at the University of Maryland. He is broadly interested in systems security, and is advised by Dave Levin.
This talk is organized by Tom Hurst