@mastersthesis{goossens2024thesis,
  title     = {Validating Sancus Enclaves using Symbolic Execution},
  author    = {Goossens, Gert-Jan},
  school    = {KU Leuven},
  note      = {\url{https://distrinet.cs.kuleuven.be/software/sancus/publications/goossens24thesis.pdf}},
  year      = {2024}
}