Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Teses
supervisionadas

Teses supervisionadas por José Bacelar Almeida

Privacy and Security in Data Mining

Autor Mafalda Guimarães Nunes

Grau MSc

Ano 2021

Instituição UP-FCUP

Self-Sovereign Identity Decentralized Identifiers, Claims and Credentials using non Decentralized Ledger Technology

Autor Ricardo Jorge Marques Peixoto

Grau MSc

Ano 2021

Instituição UP-FCUP

TrustZone based Attestation in Secure Runtime Verification for Embbeded Systems

Autor Miguel Miranda Quaresma

Grau MSc

Ano 2020

Instituição UM

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

Autor Lisandra Maria Pereira da Silva

Grau MSc

Ano 2020

Instituição UM

Integrated verification of cryptographic security proofs and implementations

Autor Vitor Manuel Parreira Pereira

Grau MSc

Ano 2019

Instituição UP-FCUP

Conveniência e Segurança com SCMD

Autor Nuno Cabral Vieira

Grau MSc

Ano 2019

Instituição UM

Desmaterialização de documentos de identificação

Autor Matias Nicolau Araújo

Grau MSc

Ano 2019

Instituição UM

Extending Conflict Free Replicated Data Types Fault Models

Autor Houssam Ahmad Yactine

Grau MSc

Ano 2019

Instituição UM

High-speed and High-assurance Cryptographic Software

Autor Tiago Filipe Azevedo Oliveira

Grau MSc

Ano 2019

Instituição UP-FCUP

Extending Conflict Free Replicated Data Types Fault Models

Autor Houssam Ahmad Yactine

Grau MSc

Ano 2018

Instituição UM

Extending Conflict free Replicated DataTypes fault models

Autor Houssam Yactin

Grau MSc

Ano 2017

Instituição UM

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

Grau MSc

Ano 2017

Instituição UM

  • 2
  • 3