Teses - INESC TEC

Teses
supervisionadas

Teses supervisionadas por Laboratório de Software Confiável

O uso de tecnologias (DLT) como ferramenta para a proteção de direitos de autor

Autor Luís Felipe Miranda Ramos

Grau MSc

Ano 2019

Instituição UM

Load Balancing Framework for Security in SDN context

Autor Bruno Machado

Grau MSc

Ano 2019

Instituição UM

Optimizing Operation-based Conflict-Free Replicated Data Types

Autor Georges Younes

Grau PhD

Ano 2019

Instituição UP-FCUP

Integrated verification of cryptographic security proofs and implementations

Autor Vitor Manuel Parreira Pereira

Grau PhD

Ano 2019

Instituição UP-FCUP

Towards a Dependable and Decentralized Software-Defined Storage Architecture

Autor Ricardo Gonçalves Macedo

Grau PhD

Ano 2019

Instituição UP-FCUP

Symmetric Ciphers – the good, the bad, and the ugly

Autor Óscar Pereira

Grau PhD

Ano 2019

Instituição UP-FCUP

Foundations for quantum algorithms and complexity

Autor Carlos Eduardo Teixeira Tavares

Grau PhD

Ano 2019

Instituição UP-FCUP

Peer-production and Technology-enhanced Collaborative Teaching and Learning (Models, Methods and Framework)

Autor sara dos Santos Fernandes

Grau PhD

Ano 2019

Instituição UP-FCUP

Trade-offs between privacy and efficiency on databases

Autor Rogério António da Costa Pontes

Grau PhD

Ano 2019

Instituição UP-FCUP

Safety Verification for ROS Applications

Autor André Filipe Faria dos Santos

Grau PhD

Ano 2019

Instituição UP-FCUP

Desenvolvimento de uma plataforma de serviços para facilitar a integração de aplicações empresariais

Autor Rui Filipe Castro Leite

Grau MSc

Ano 2019

Instituição UM

Criação de uma câmara de serviço especificada em diagramas de sequência UML

Autor Marcelo Alexandre Matos Fonseca Lima

Grau MSc

Ano 2019

Instituição UM