@mastersthesis{scopelliti2020thesis,
  title     = {Securing Smart Environments with Authentic Execution},
  author    = {Scopelliti, Gianluca},
  school    = {Politecnico Di Torino},
  note      = {\url{https://distrinet.cs.kuleuven.be/software/sancus/publications/scopelliti2020.pdf}},
  year      = {2020}
}