Self-secured devices: high performance and secure I/O access in TrustZone-based systems - Pinto, Sandro (2021)