This user account status is Approved
Algoritmi | User | José Carvalho Martins

José Carvalho Martins

José Carvalho Martins

At Algoritmi

Research Collaborator with MSc

Member of the IE R&D Group

Member of the ESRG R&D Lab

Academic Degree

MSc

Current Position

Other at Escola de Engenharia da Universidade do Minho

Personal Webpage

Personal Email

jose.martins@dei.uminho.pt

Orcid

0000-0001-9380-7150

Researcher ID

FCT Public Key

J680529k6yqw

Ciência ID

Google Scholar

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