Theses most similar to Flexible and efficient sharing of protected abstractions (Candea, George M. (George Mahai), 1974-; 1998) read it

The exokernel operating system architecture

Engler, Dawson R (1998)

  • Advisor: M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
Read it

Secure execution environment via program shepherding

Kiriansky, Vladimir L. (Vladimir Lubenov), 1979- (2003)

  • Advisor: Saman Amarasinghe
  • Department of Electrical Engineering and Computer Science
Read it

Acetone : a system call interface for Asbestos labels

Frey, Clifford A. (Clifford Arthur) (2005)

  • Advisor: M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
Read it

Development of a programming model for the AEGIS secure processor

Sachdev, Ishan (2005)

  • Advisor: Srinivas Devadas
  • Department of Electrical Engineering and Computer Science
Read it

Decentralizing UNIX abstractions in the exokernel architecture

Briceño Pulido, Héctor Manuel, 1974- (1997)

  • Advisor: M. Frans Kaashoek
  • Department of Electrical Engineering and Computer Science
Read it

Graphite : a parallel distributed simulator for multicores

Kasture, Harshad (2010)

  • Advisor: Anant Agarwal
  • Department of Electrical Engineering and Computer Science
Read it

Distributed naming in a factored operating system

Beckmann, Nathan (Nathan Zachary) (2010)

  • Advisor: Anant Agarwal
  • Department of Electrical Engineering and Computer Science
Read it

A file system design for the Aeolus security platform

McKee, Francis Peter (2011)

  • Advisor: Barbara H. Liskov
  • Department of Electrical Engineering and Computer Science
Read it

Providing a Shared File System in the Hare POSIX Multikernel

Gruenwald, Charles, III (2014)

  • Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Verifying an I/O-concurrent file system

Chajed, Tej (2017)

  • Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
  • Department of Electrical Engineering and Computer Science
Read it