Data | Título | Autor(es) | Tipo | Acesso |
12-Set-2022 | Bao-Enclave: virtualization-based Enclaves for Arm | Pereira, Samuel; Sousa, João; Pinto, Sandro, et al. | Artigo em ata de conferência | Acesso aberto |
2023 | CVA6 RISC-V virtualization: architecture, microarchitecture, and design space exploration | Sá, Bruno; Valente, Luca; Martins, José Carvalho, et al. | Artigo | Acesso aberto |
2022 | A first look at RISC-V virtualization from an embedded systems perspective | Sá, Bruno Vilaça; Martins, José Carvalho; Pinto, Sandro | Artigo | Acesso aberto |
2023 | Holistic RISC-V virtualization: CVA6-based SoC | Sá, Bruno; Marques, Francisco; Rodriguez, Manuel, et al. | Artigo em ata de conferência | Acesso aberto |
9-Mai-2024 | HSP-V: hypervisor-less static partitioning for RISC-V COTS platforms | Sousa, João Miguel Costa; Martins, José Carvalho; Gomes, Tiago Manuel Ribeiro, et al. | Artigo | Acesso aberto |
2018 | Ontology-driven metamodeling towards hypervisor design automation: microkernel infrastructure | Martins, José Carvalho | Dissertação de mestrado | Acesso aberto |
2022 | ReZone: disarming TrustZone with TEE privilege reduction | Cerdeira, David Martins; Martins, José Carvalho; Santos, Nuno, et al. | Artigo em ata de conferência | Acesso aberto |
Mai-2022 | RISC-V Virtualization for a CVA6-based SoC | Sá, Bruno Vilaça; Valente, Luca; Martins, José Carvalho, et al. | Poster em conferência | Acesso aberto |
2023 | Shedding light on static partitioning hypervisors for arm-based mixed-criticality systems | Martins, José Carvalho; Pinto, Sandro | Artigo em ata de conferência | Acesso aberto |