# | Name / Author | Supervisor / Affiliation | Status |
---|---|---|---|
76 | High-speed and high-assurance cryptographic software
Author: Tiago Filipe Azevedo Oliveira |
Supervisor: Manuel Bernardo Martins Barbosa UP - FCUP - DCC / HASLab - INESC TEC |
Concluded 2016 - 2022 |
77 | Holistic performance and scalability analysis for large scale distributed systems
Author: Francisco Nuno Teixeira Neves |
Supervisor: José Orlando Pereira UM - DI / HASLab - INESC TEC |
Concluded 2016 - 2021 |
78 | Integrated verification of cryptographic security proofs and implementations
Author: Vitor Manuel Parreira Pereira |
Supervisor: Manuel Bernardo Martins Barbosa UP - FCUP - DCC / HASLab - INESC TEC |
Concluded 2016 - 2020 |
79 | Measuring User Influence and Reputation in Financial Social Media
Author: Bruno Miguel Pacheco Vieira |
Supervisor: Paulo Alexandre Ribeiro Cortez UM - DSI / ALGORITMI |
Suspended 2016 - ... |
80 | Progressive Sparse Sampling for Physically Based Global Illumination
Author: César Morais Perdigão |
Supervisor: Luís Paulo Peixoto dos Santos UM - DI / CSIG - INESC TEC |
Concluded 2016 - 2020 |
81 | Contracts on-demand
Author: Leandro Rafael Moreira Gomes |
Supervisor: Luís Soares Barbosa Cosupervisor: Alexandre Leite de Castro Madeira UM - DI / HASLab - INESC TEC |
Concluded 2016 - 2022 |
82 | Relative compression and its application to pattern recognition problems
Author: SeyedMorteza Hosseini |
Supervisor: Armando José Formoso de Pinho UA - DETI / IEETA |
Concluded 2016 - 2020 |
83 | Compression-based Pattern Recognition: An example on ECG Biometrics
Author: João Miguel Rafael de Carvalho |
Supervisor: Susana Manuela Martinho dos Santos Baı́a Brás Cosupervisor: Armando José Formoso de Pinho UA - DETI / IEETA |
Concluded 2016 - 2022 |
84 | Symmetric ciphers
Author: Óscar Francisco Godinho Pereira |
Supervisor: José Manuel Esgalhado Valença UM - DI / HASLab - INESC TEC |
Suspended 2016 - ... |
85 | Establishing trust and confidence among entities in distributed networks
Author: Francis Nwebonyi Nwebonyi |
Supervisor: Manuel Eduardo Carvalho Duarte Correia Cosupervisor: Rolando da Silva Martins UP - FCUP - DCC / CRACS - INESC TEC |
Concluded 2016 - 2020 |
86 | Adaptive Computation Offloading in Mobile Edge Clouds
Author: Joaquim Magalhães Esteves da Silva |
Supervisor: Fernando Manuel Augusto da Silva Cosupervisor: Eduardo R B Marques UP - FCUP - DCC / CRACS - INESC TEC |
Concluded 2016 - 2021 |
87 | Safety verification for ROS software
Author: André Filipe Faria dos Santos |
Supervisor: Manuel Alcino Pereira Cunha UM - DI / HASLab - INESC TEC |
Concluded 2016 - 2021 |
88 | Beyond Distributed Transactions through Exactly-once Exchanges
Author: Ziad Kassam |
Supervisor: Ali Shoker Cosupervisor: Paulo Sérgio Soares de Almeida UM - DI / HASLab - INESC TEC |
Concluded 2016 - 2024 |
89 | Extending Conflict Free Replicated Data Types Fault Models
Author: Houssam Yactine |
Supervisor: Ali Shoker UM - DI / HASLab - INESC TEC |
In progress 2016 - ... |
90 | Mechanisms to Improve Network resilience and Robustness in Vehicular Networks
Author: Muhammad Awais Khan |
Supervisor: Jonathan Rodriguez Gonzalez Cosupervisor: Shahid Mumtaz UA - DETI / IT - Aveiro branch |
In progress 2016 - ... |
Events
Check incoming events
FAQ
For incoming Students
Check FAQ's for incoming students for answers to commonly asked questions.
FAQ
For current Students
Mailing List
Subscription