@MASTERSTHESIS{t8,
  author = {Jakob H. Weisblat},
  title = {Improving Security at the System-Call Boundary in a Type-Safe Operating System},
  school = {Massachusetts Institue of Technology},
  year = {2018},
  address={Cambridge, MA}
}