@mastersthesis{frett2015thesis,
  title     = {Extending Protected Module Architectures with a Secure I/O Framework},
  author    = {Frett, Dennis},
  school    = {KU Leuven},
  note      = {\url{https://distrinet.cs.kuleuven.be/software/sancus/publications/frett15thesis.pdf}},
  year      = {2015}
}