@mastersthesis{vanbulck2015thesis,
  title     = {Secure Resource Sharing for Embedded Protected Module Architectures},
  author    = {Van Bulck, Jo},
  school    = {KU Leuven},
  note      = {\url{https://distrinet.cs.kuleuven.be/software/sancus/publications/vanbulck15thesis.pdf}},
  year      = {2015}
}