|
|
|
Ontology-driven metamodeling towards hypervisor design automation [Documento eletrónico] : secure Inter-Partition Communication (IPC) / João Carlos Ferreira Alves ; orient. Adriano Tavares, Sandro Pinto
Monografia
Publication
[Guimarães : s.n.], 2018
Online resource
Acesso restrito à U.M. (3 anos)
Availability
No copies available
|
|
|
|
Ontology-driven metamodeling towards hypervisor design automation [Documento eletrónico] : microkernel infrastructure / José Carvalho Martins ; orient. Adriano Tavares, Sandro Pinto
Monografia
Publication
[Braga : s.n., 2018]
Online resource
Acesso restrito à U.M. (3 anos)
Availability
No copies available
|
|
|
|
Heterogeneous fault tolerance architecture based on Arm and RISC-V processors [Documento eletrónico] : [Arquitetura heterogénea de tolerância a falhas baseada em processadores Arm e RISC-V] / Cristiano António Azevedo Rodrigues ; orient. Adriano José Conceição Tavares, Sandro Emanuel Salgado Pinto
Monografia
Publication
[Braga : s.n.], 2019
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
A TrustZone-assisted Secure Silicon on a co-design framework [Documento eletrónico] / Sérgio Augusto Gomes Pereira ; orient. Sandro Pinto
Monografia
Publication
[Guimarães : s.n.], 2018
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Multicore embedded virtualization architecture exploiting ARM TrustZone [Documento electrónico] / André Antunes Oliveira ; orient. Adriano Tavares, Sandro Pinto
Monografia
Publication
[Guimarães : s.n.], 2017
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Ontology-driven metamodeling towards hypervisor design automation [Documento eletrónico] : semantically-enriched DSL infrastructure / Miguel António Mourão de Abreu ; orient. Adriano Tavares, Sandro Pinto
Monografia
Publication
[Guimarães : s.n.], 2017
Online resource
Acesso restrito à U.M. (3 anos)
Availability
No copies available
|
|
|
|
VirtIO infrastructure for a static partition hypervisor [Documento eletrónico] : VirtIO-Net / João Rodrigo Lima Costa ; orient. Sandro Pinto
Produtos Computador
Publication
[Guimarães : s.n.], 2022
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Cache-based timing side-channels in partitioning hypervisors [Documento eletrónico] / João Pedro Antunes Gomes da Silva Reis ; orient. Sandro Pinto
Produtos Computador
Publication
[Guimarães : s.n.], 2019
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Towards multi-OS support on TrustZone-M MCUs [Documento eletrónico] = [Suporte para múltiplos sistemas operativos em microcontroladores com TrustZone-M] / Afonso Manuel Macedo dos Santos ; orient. Sandro Pinto
Produtos Computador
Publication
[Guimarães : s.n.], 2020
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
RISC-V lightweight virtualization extensions [Documento eletrónico] / Bruno Vilaça de Sá ; orient. Sandro Pinto
Produtos Computador
Publication
[Guimarães : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
HSP-V [Documento eletrónico] : holistic static partitioning on RISC-V platforms = [Particionamento estático holístico em plataformas RISC-V] / João Miguel Costa Sousa ; orient. Sandro Emanuel Salgado Pinto, João Luís Marques Pereira Monteiro
Produtos Computador
Publication
[Braga : s.n.], 2022
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Mitigating platform-level memory interference on a static partitioning hypervisor [Documento eletrónico] / Francisco Manuel Barreto Rocha ; orient. Sandro Pinto
Produtos Computador
Publication
[Guimarães : s.n.], 2022
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
A TrustZone-assisted hypervisor supporting dynamic partial reconfiguration [Documento electrónico] / José Pedro Antunes Ribeiro ; orient. Sandro Pinto
Monografia
Publication
[Braga : s.n.], 2018
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Extending the security spectrum of ARM TrustZone technology [Documento eletrónico] / Eduardo Gil Ferraz Soares Mendes ; orient. Adriano Tavares, Sandro Pinto
Monografia
Publication
[Guimarães : s.n., 2017]
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Ontology-driven metamodeling towards hypervisor design automation [Documento eletrónico] : secure hypervisor design environment / Miguel Alexandre Macedo Araújo ; orient. Adriano José da Conceição Tavares, Sandro Emanuel Salgado Pinto
Monografia
Publication
[Guimarães : s.n.], 2018
Online resource
Acesso restrito à U.M. (3 anos)
Availability
No copies available
|
|
|
|
Sistema operativo orientado a objectos : porting, expansão e configuração / Sandro Emanuel Salgado Pinto ; orient. José Mendes
Monografia
Publication
[Guimarães : s.n.], 2012
Description
:
XVIIII, 155 p. ;
30 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
|
Towards secure layer-2 blockchain solution using TEEs [Documento eletrónico] = [Segurança para layer-2 de blockchain utilizando TEEs] / Vítor Hugo da Silva Ribeiro ; orient. Sandro Pinto
Produtos Computador
Publication
[Guimarães : s.n.], 2022
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Exploring the arm MPAM extension for static partitioning virtualization [Documento eletrónico] / Gonçalo Gonçalves Freitas ; orient. Sandro Pinto
Produtos Computador
Publication
[Guimarães : s.n.], 2023
Online resource
Acesso via RepositóriUM
Availability
No copies available
|
|
|
|
Contention and predictability study on Arm Cortex-M TrustZone-enabled MCUs [Documento eletrónico] / Pedro Gonçalo Oliveira Leite ; orient. Sandro Emanuel Salgado Pinto
Produtos Computador
Publication
[Guimarães : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
V-Visor [Documento eletrónico] : lightweight virtualization for RISC-V : virtualização leve para RISC-V / José Nuno Leite da Silva ; orient. Sandro Emanuel Salgado Pinto
Produtos Computador
Publication
[Guimarães : s.n.], 2019
Online resource
Acesso livre
Availability
No copies available
|
