@misc{vanbeirendonck17responsiveness,
  title        = {Responsiveness Guarantee for the Sancus Protected Module Architecture},
  author       = {Van Beirendonck, Michiel},
  howpublished = {Honours Programme KU Leuven},
  note         = {\url{https://distrinet.cs.kuleuven.be/software/sancus/publications/vanbeirendonck.pdf}},
  year         = {2017}
}