@phdthesis{LeVasseur:phd,
    address          = {Sydney, Australia},
    annote           = {School of Computer Science and Engineering, UNSW, Sydney, Australia},
    author           = {Joshua LeVasseur},
    month            = may,
    paperurl         = {https://trustworthy.systems/publications/papers/LeVasseur%3Aphd.pdf},
    school           = {UNSW},
    title            = {Device-driver reuse via virtual machines},
    year             = {2009}
  }