Improving security at the system-call boundary in a type-safe operating system
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Main Author: | Weisblat, Jakob H. |
---|---|
Other Authors: | Howard Shrobe, Hamed Okhravi and Bryan Ward. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2019
|
Subjects: | |
Online Access: | https://hdl.handle.net/1721.1/121686 |
Similar Items
-
SafeJava : a unified type system for safe programming
by: Boyapati, Chandrasekhar, 1973-
Published: (2006) -
Strong and scalable metadata security for voice calls
by: Lazar, David,Ph.D.Massachusetts Institute of Technology.
Published: (2020) -
Asbestos : operating system security for mobile devices
by: Stevenson, Martijn
Published: (2007) -
Certifying a crash-safe file system
by: Chen, Haogang
Published: (2017) -
A zero kernel operating system : rethinking microkernel design by leveraging tagged architectures and memory-safe languages
by: Restivo, Justin(Justin P.)
Published: (2021)