Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Supervised
thesis

Supervised thesis by José Bacelar Almeida

TrustZone based Attestation in Secure Runtime Verification for Embbeded Systems

Author Miguel Miranda Quaresma

Degree MSc

Year 2020

Institution UM

Suporte ao desenvolvimento de aplicações críticas em sistemas embebidos

Author Lisandra Maria Pereira da Silva

Degree MSc

Year 2020

Institution UM

High-speed and High-assurance Cryptographic Software

Author Tiago Filipe Azevedo Oliveira

Degree PhD

Year 2019

Institution UP-FCUP

Integrated verification of cryptographic security proofs and implementations

Author Vitor Manuel Parreira Pereira

Degree PhD

Year 2019

Institution UP-FCUP

Conveniência e Segurança com SCMD

Author Nuno Cabral Vieira

Degree MSc

Year 2019

Institution UM

Desmaterialização de documentos de identificação

Author Matias Nicolau Araújo

Degree MSc

Year 2019

Institution UM

Extending Conflict Free Replicated Data Types Fault Models

Author Houssam Ahmad Yactine

Degree PhD

Year 2019

Institution UP-FCUP

Extending Conflict Free Replicated Data Types Fault Models

Author Houssam Ahmad Yactine

Degree PhD

Year 2018

Institution INESCTEC

Extending Conflict free Replicated DataTypes fault models

Author Houssam Yactin

Degree PhD

Year 2017

Institution UM

Geração de descrições de computação para a cloud

Degree MSc

Year 2017

Institution UM

Computação Segura Sobre Sistemas de Dados em Ambientes Cloud

Degree MSc

Year 2017

Institution UM

Extending Conflict free Replicated DataTypes fault models

Author Houssam Yactine

Degree PhD

Year 2016

Institution UM

  • 1
  • 2