@inproceedings{guerra18introspection,
  author = {Guerra, Miguel and Taubmann, Benjamin and Reiser, Hans P. and Yalew, Sileshi and Correia, Miguel},
  title = {Introspection for {ARM TrustZone} with the {ITZ Library}},
  booktitle = {Proc. of the 18th IEEE Int. Conf. on Software Quality, Reliability, and Security},
  year = {2018},
  doi = {10.1109/QRS.2018.00026},
  pdf = {https://www.dpss.inesc-id.pt/~mpc/pubs/itz-qrs18.pdf}
}