@inproceedings{guerra17introspection,
  title = {{ITZ:} An Introspection Library for {ARM TrustZone}},
  year = {2017},
  keywords = {FORSEC, IDACC},
  publisher = {INFORUM},
  booktitle = {Comunicações do Nono Simpósio de Informática (INFORUM 2017)},
  author = {Guerra, Miguel and Correia, Miguel and Taubmann, Benjamin and Reiser, Hans P.},
  pdf = {https://www.dpss.inesc-id.pt/~mpc/pubs/itz-introspection-library.pdf}
}