Teses - INESC TEC

Teses
supervisionadas

Teses supervisionadas por Rolando Martins

Trustworthy and Robust Intra-Vehicle Communication

Autor Patrícia Adelaide Lopes Machado

Grau MSc

Ano 2022

Instituição UP-FCUP

Design of a Flexible and Extensible Fault Injector for Testing Concurrent and Distributed Applications

Autor Pedro Fernando Moreira da Silva Antunes

Grau MSc

Ano 2022

Instituição UP-FCUP

SkyNet: Towards a Dynamic and Adaptive Intrusion Tolerant System

Autor Tadeu Augusto Leite Freitas

Grau MSc

Ano 2022

Instituição UP-FCUP

Segurança em IoT - Caso de estudo FIWARE

Autor Rodrigo Lopes Ananias

Grau MSc

Ano 2022

Instituição UP-FCUP

Formal Verification of the Ceph Consensus Algorithm Using TLA+

Autor Afonso das Neves Fernandes

Grau MSc

Ano 2021

Instituição UP-FCUP

SkyNet: Towards a Dynamic and Adaptive Intrusion Tolerant System

Autor Tadeu Augusto Leite Freitas

Grau MSc

Ano 2021

Instituição UP-FCUP

Injector de faltas para teste de aplicações

Autor Miguel André Queirós Coelho da Silva

Grau MSc

Ano 2021

Instituição UP-FCUP

Efficient Byzantine Fault-Tolerance

Autor Ricardo Jorge Alves Fernandez

Grau MSc

Ano 2021

Instituição UP-FCUP

Injecting Faults in Byzantine Fault Tolerant Protocols

Autor Ricardo Jorge Alves Fernandez

Grau MSc

Ano 2021

Instituição UP-FCUP

Exploring Azure: Internet of Things and Edge

Autor Rui Alexandre Farinha Fernandes Balau

Grau MSc

Ano 2021

Instituição UP-FCUP

Security Enhancing Technologies for Cloud-of-Clouds

Autor João Miguel Maia Soares de Resende

Grau MSc

Ano 2021

Instituição UP-FCUP

Privacy Preserving Middleware Platform for IoT

Autor Patrícia Raquel Vieira Sousa

Grau MSc

Ano 2021

Instituição UP-FCUP