Algoritmi | User | José Carvalho Martins
José Carvalho Martins
José Carvalho Martins
At LASI
Other with MSc
Member of the CALG R&D Unit
Academic Degree
MSc
Current Position
Other at Escola de Engenharia da Universidade do Minho
Personal Webpage
Personal Email
jose.martins@dei.uminho.ptOrcid
0000-0001-9380-7150Researcher ID
FCT Public Key
J680529k6yqw
Ciência ID
Google Scholar
Publications (4)
DIHyper: providing lifetime Hypervisor Data Integrity
IEEE 27th International Symposium on Industrial Electronics (ISIE)
2018 | conference-paper
TZ-VirtIO: enabling standardized inter-partition communication in a TrustZone-assisted hypervisor
2018 | conference-paper
SecSSy Hypervisor: Security-Safety Synergy for Aerospace
Data Systems In Aerospace (DASIA), European Space Agency (Special Publication)
2017 | conference-paper
μRTZvisor: A secure and safe real-time hypervisor
Electronics (Switzerland)
2017 | journal-article
DIHyper: providing lifetime Hypervisor Data Integrity
IEEE 27th International Symposium on Industrial Electronics (ISIE)
2018 | conference-paper
TZ-VirtIO: enabling standardized inter-partition communication in a TrustZone-assisted hypervisor
2018 | conference-paper
SecSSy Hypervisor: Security-Safety Synergy for Aerospace
Data Systems In Aerospace (DASIA), European Space Agency (Special Publication)
2017 | conference-paper
μRTZvisor: A secure and safe real-time hypervisor
Electronics (Switzerland)
2017 | journal-article
