Introspection for ARM TrustZone with the ITZ Library. - Miguel Guerra; Benjamin Taubmann; Hans P. Reiser; Sileshi Demesie Yalew; Miguel Correia 001 (QRS, 2018)