@mastersthesis{Felizzi:bsc,
    address          = {unswaddr},
    author           = {A. Felizzi},
    month            = nov,
    paperUrl         = {https://trustworthy.systems/publications/theses_public/17/Felizzi%3Absc.pdf},
    school           = {School of Computer Science and Engineering},
    title            = {Trianqles: Porting Qubes to {seL4}},
    year             = {2017}
  }