publicações selecionadas
-
artigo académico
- Self-secured devices: High performance and secure I/O access in TrustZone-based systems. Journal of Systems Architecture. 2021
- Towards a Trusted Execution Environment via Reconfigurable FPGA. ArXiv. 2021
- Operating Systems for Internet of Things Low-End Devices: Analysis and Benchmarking. IEEE Internet of Things Journal. 2019
-
artigo de conferência
-
documento
- Towards trustworthy TrustZone-assisted TEEs 2024
- Bao-Enclave: virtualization-based Enclaves for Arm 2022
- Providing trusted execution environments using FPGA 2022
- ReZone: disarming TrustZone with TEE privilege reduction 2022
- Security assurance of an In-vehicle HMI Manager: specifying certifiable software for In-vehicle infotainment systems 2018