@mastersthesis{winderix2018thesis,
  title     = {Security Enhanced LLVM},
  author    = {Winderix, Hans},
  school    = {KU Leuven},
  note      = {\url{https://distrinet.cs.kuleuven.be/software/sancus/publications/winderix18thesis.pdf}},
  year      = {2018}
}