Current

PhD

• Diogo Vaz - Co-advisors: Miguel Pupo Correia, Miguel L. Pardal
  Using machine learning techniques to solve distributed problems
  
  

MSc

• Bruno Sena
  Co-advisor: Nuno Nunes
  Dialogus: a decentralized platform for community dialogue
• Valentim Santos
  Co-advisor: Miguel Correia
  Auto-MIRES: Automatically Detecting and Recovering Mobile Applications from Intrusions
  
• Diogo Godinho Melita
  Co-advisor: Miguel L. Pardal
  Break the Chain: A Recovery Approach for Blockchain Transactions
• Beatriz Penteado de Almeida Militão
  SecureHealth Mobile: Android Application for Secure Access, Sharing, and Consent Management of Electronic Health Records using Blockchain Technology
• João Pedro Barbosa Morujão Barros Leite
  Co-advisors: Kevin Gallagher e Guilherme Ramos
  Huddles: Establishing community groups through Mobile Ad-hoc Networks
• Lucas Diogo Ferreira Pinto
  Co-advisor: Miguel L. Pardal
  maCHATe: Secure Chat Application with Multi-Path Communication and Secret Sharing
  
• Daniel Pereira Costa
  Co-advisor: António Rito Silva
  Design and Implement HumanaEthica as a Microservice System
• Tomás Nascimento
  Co-advisor: António Rito Silva
  Microservices Simulator Fault Analysis Enriched
• Olivia Arantes
  Co-advisor: António Rito Silva
  Use of Intrusion Recovery Mechanisms for Ensuring Business Continuity
• Leandro da Silva Batista
  Co-advisor: Ricardo Chaves
  A Red Team Approach to Bypassing AV and EDR

Past

MSc

• Gustavo Pinto - 2024
  Co-advisor: Mariana Pestana
  EarthlyConsensus: A Decentralized Governance Model Platform for More-than-human Constituencies
• José André Bernardo - 2024
  Co-advisor: Miguel L. Pardal
  SecureHealth: Securing electronic health records in public clouds
• Lourenço Faria Boto Franco Preto - 2024
  Co-advisor: Miguel L. Pardal
  Padrões de Desenho para Blockchains Empresariais
• Larissa Tomaz - 2024
  Co-advisor: Teresa Almeida
  Prototyping Blockchain Futures: A Femtech Solution
• João Vasco Reis - 2024
  Co-advisor: Cláudia Antunes
  How to disappear online : approaches for digital erasure and evaluation methodologies
• Diogo Das Neves Ferreira - 2024
  Co-advisor: Miguel L. Pardal
  Sustainable Food Quest: Gamified Mobile Application for Food Traceability using Blockchain
• Gonçalo Carreira - 2024
  Co-advisor: Miguel Coimbra
  Graph database integrity through Blockchain technology
• João Francisco Duarte da Silva - 2024
  Co-advisor: Kevin Gallagher
  Siphon: Towards removing ineficiente gas patterns from Smart Contracts
• Rúben Almeida -  2024
  Co-advisor: Miguel L. Pardal
  SecureHealth UX: Design framework for electronic health records
• Francisco Faria - 2023
  Co-advisor: Miguel L. Pardal
  EvoChain: A Recovery Approach for Permissioned Blockchain Applications
• Bruno Gomes - 2023
  Co-advisor: Miguel L. Pardal
  SoverChain: Blockchain-based Self-Sovereign Identity Management System 
• Guilherme Gaspar - 2023
  Co-advisor: Kevin Gallagher
  Studying Common Attacks Against Smart Contracts
• Tiago Fournigault - 2023
  Co-advisor: Kevin Gallagher
  DAOliberate: Decentrally Moderated Chat Through Collaborative Decision Making
• João Soares - 2022
  Co-advisor: Miguel L. Pardal
  MACHET3, a new multi-path communication solution using secret sharing