miguel pupo correia           
 

students

 

For many years I been having the priviledge of working with amazing students. This page lists their names and topics in which they work(ed). More details on their work can be found at the publications page.

Research assistants

João Matos, project BLOCKCHAIN.PT

PhD students

André Augusto, Blockchain Interoperability, PhD (co-advised with André Vasconcelos, IST), 2022-

Diogo Vaz, tbd, PhD (co-advised with David R. Matos and Miguel Pardal, IST), 2021-

Rafael Belchior, Blockchain Interoperability, PhD (co-advised with André Vasconcelos, IST), 2019-

Cláudio Correia, Edge Computing Security, PhD (co-advised with Luís Rodrigues, IST), 2019-

Filipe Apolinário, Critical Infrastructure Security, PhD (co-advised with Miguel Pardal, IST), 2019-

João Amado, Programmable Network Security, PhD (co-advised with Fernando Ramos, IST), 2018-

Tatjana Lide, Software Security, PhD, 2016-

Daniel Andrade, Trusted Execution Environment Migration, PhD (co-advised with João Nuno Silva, IST), 2016-

MSc students

Bruno Branco, Hacking um Drone Comercial, MSc (co-advised with José Silva, Academia Militar)

João Travassos, Blockchain Land Registry with Earth Observation Technologies – Disaster Assessment, MSc

Pedro Henriques, Blockchain Land Registry with Earth Observation Technologies – Land Transactions, MSc

Bruno Mateus, An Incident Response Framework applied to Blockchain Interoperability, MSc (co-advised with André Vasconcelos, IST)

Carlos Amaro, Implementing Semantic Blockchain Interoperability Across Heterogeneous Infrastructure, MSc (co-advised with André Vasconcelos, IST)

Eduardo Vasques, Algorithms for Heterogenous Blockchain Interoperability, MSc (co-advised with André Vasconcelos, IST)

Duarte Costa, Decentralised Marketplace based on Blockchain , MSc (co-advised with Tiago Dias, Unlockit)

João Luís, Blockchain Interoperability with the European Blockchain Infrastructure (EBSI), MSc (co-advised with Tiago Dias, Unlockit)

Nuno Braz, Blockchain Oracles for Property Rental, MSc (co-advised with Tiago Dias, Unlockit)

Rodrigo Carvalho, tbd, MSc

Eduardo Esteves, Evaluation Framework for an AI-enabled Cybersecurity Platform, MSc (co-advised with Luis Dias, Academia Militar)

Guilherme Rodrigues, Evaluating data collection protection methods, MSc (co-advised with João Carneiro, Aptoide)

Mónica Gomez, Blockchain Interoperability: A technical approach to interoperability for Blockchain-based systems, MSc (co-advised with André Vasconcelos, IST)

João Domingos, Blockchain-based Smart Rent (commercial), MSc (co-advised with Tiago Dias, Unlockit)

João Pedro Martins, Scalable Multi-Blockchain, MSc



past members and students

Post Docs

David R. Matos, 2020-21

PhD

Pedro Brandão, A Atribuição em Advanced Persistent Threats (APT) – Proposta de uma Extensão à Framework MICTIC, PhD, November 2023 (co-advised with Henrique S. Mamede, Univ. Aberta)

Luís Dias, Intrusion Detection using Clustering and Outlier Detection, PhD, June 2022

Arnaldo Gouveia, Leveraging Machine Learning Strategies for Network Intrusion Detection, PhD, February 2021

David R. Matos, Intrusion Recovery in Cloud Computing, PhD, June 2019 (co-advised with Miguel Pardal, IST)

Sileshi Demesie Yalew, Mobile Device Security with ARM TrustZone, PhD, November 2018 (co-advised with Seif Haridi and Gerald Maguire Jr., KTH, Sweden)

Pedro Sá da Costa, Dependable MapReduce in a Cloud-of-Clouds, PhD, November 2017 (co-advised with Fernando Ramos, FCUL)

Naércio Magaia, Efficient and Secure Routing in Wireless Ad Hoc Networks, PhD, July 2017 (co-advised with Paulo R. Pereira, IST)

Ibéria Medeiros, Detection of Vulnerabilities and Automatic Protection for Web Applications, PhD, September 2016 (co-advised with Nuno Ferreira Neves, FCUL)

Giuliana Santos Veronese, Intrusion Tolerance in Large Scale Networks, PhD, December 2010 (co-advised with Lau Cheuk Lung, UFSC)

Henrique Moniz, Byzantine Fault-Tolerant Agreement Protocols for Wireless Ad hoc Networks, PhD, November 2010 (co-advised with Nuno Ferreira Neves, FCUL)

MSc

Hélio Borges, TrustGlass: Human-Computer Trusted Paths with Augmented Reality Smart Glasses, MSc (co-advised with João Nuno Silva, IST)

João Pires, Clustering Dynamically-Defined NetFlow and Windows Event Features for Intrusion Detection, MSc (co-advised with Luis Dias, Academia Militar), November 2023

João Pinheiro, Clustering Dynamically-Defined NetFlow and Windows Event Features for Intrusion Detection, MSc (co-advised with Luis Dias, Academia Militar), November 2023

Sebastião Mayor, An Enterprise Architecture Approach to Semantic Blockchain Interoperability, MSc (co-advised with André Vasconcelos, IST), November 2023

Duarte Bento, Blockchain for Supply Chain Traceability and Governance in the Agri-food Sector, MSc (co-advised with Miguel Matos, IST), November 2023

Rui Costa, Using Smart Contracts to Automate a Food Hub, MSc (co-advised with Kevin Gallagher, FCT UNL), November 2023

João Filipe Santos, Blockchain-Based Rental Documentation Management with Audit Support, MSc (co-advised with Tiago Dias, Unlockit), November 2023

André Proença, Blockchain Based Residential Smart Rent, MSc (co-advised with Tiago Dias, Unlockit), December 2023

Margarida Lopes, Mitigating Rogue Administrator Attacks in Democratic Institutions Using New Access Control Methods, MSc, June 2023 (co-advised with Kevin Gallagher, IST)

Félix Saraiva, Decentralised Autonomous Organisations for Public Procurement, MSc, June 2023

Diogo Lobato, Vulnerability Detection in Multiple Languages, MSc, June 2023 (co-adised with João Pereira, IST)

José Miranda, Replicação de contratos em Blockchains, MSc, November 2022

André Martinez, Data Analytics for Blockchain Forensics, MSc, December 2022

André Santos Cordeiro, ISP: Information Security enterprise architecture Patterns, MSc, Nov. 2022 (co-advised with André Vasconcelos, IST)

Rodrigo Santos Silva, Deduplication vs Privacy Tradeoffs in Cloud Storage, MSc, Nov. 2022 (co-advised with Luis Rodrigues, IST)

Pedro Marques, Visualisation Tool for Automatic Threat Detection in Cyberspace, MSc, Nov. 2021 (co-advised with Luís Dias, Academia Militar)

Jodelismarko Melo, Contratos Inteligentes e Tokens Blockchain à luz do Regulamento Geral de Proteção de Dados, MSc, Nov. 2021

Rita Prates, Proof of Timely-Retrievability for Storage Systems at the Edge, MSc, Nov. 2021 (co-advised with Luís Rodrigues, IST)

Vasco Guita, Data Migration for Secure Hardware Extensions, MSc, Sep. 2021

Guilherme Menezes, Extended Self-Sovereign Identity Based Access Control, MSc, Sep. 2021

Afonso Caetano, SmartZone: Enhancing the security of TrustZone with SmartCards, MSc, Sep. 2021 (co-advised with Ricardo Chaves, IST)

Diogo Vilela, Dynamic Malware Analysis: Ransomware and Cryptojacking, MSc, Sep. 2021

Mara Caldeira, Blockchain Address Transparency with DNS, MSc, June 2021

Filipe Martins, Recoverable Token - Recovering from Intrusions against Digital Assets in Ethereum, MSc, January 2021 (co-advised with Miguel Pardal, IST)

Mihail Brinza, Virtual Static Security Analyzer for Web Applications, MSc, January 2021 (co-advised with João Dias Pereira, IST)

Tiago Fernandes, Cluster Change-Based Intrusion Detection, MSc, January 2021 (co-advised with Luís Dias, Academia Militar)

Gilberto Gomes, CryingJackpot: Network Flows and Performance Counters against Cryptojacking, MSc, January 2021 (co-advised with Luís Dias, Academia Militar)

Marcelo Silva, P2CSTORE: P2P and Cloud File Storage for Blockchain Applications, MSc, January 2021 (co-advised with Miguel Matos, IST)

Filipe Fernandes, Inteligência Artificial, Segurança e Direitos, MSc, January 2021 (co-advised with Cor. Pedro Moleirinho, GNR)

Pedro Barata, Um Crawler Low Code dentro da Dark Web, MSc, January 2021

Sérgio Silva, Hacking Automóvel - Modelo de exploração de vulnerabilidades, MSc, January 2021

Miguel Palma, A Tracking and Tracing System for a Supply Chain, MSc, January 2021 (co-advised with Leandro Cruz, INCM/PSE)

João Maurício Barros Ascensão, Segurança na Apreensão e Armazenamento de Criptomoedas, MSc, January 2021

Pedro Brandão, Segurança da Informação num Sistema de Computação em Nuvem Privada (on-premise), MSc, November 2020

André Nunes, Universal Consent Management Platform, MSc, November 2020

Diogo Vaz, MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks, MSc, November 2020 (co-advised with Miguel Pardal, IST)

Alexandra Figueiredo, MERLIN: Multi-Language Web Vulnerability Detection, MSc, November 2020

Fábio Gomes, Cryptojacking Detection with CPU Usage Metrics, MSc, October 2020 (won the 5th AP2SI Merit Award)

Diogo Serranito, A Blockchain-based Platform for Sharing and Verifying Education Certificates, MSc, September 2020 (co-advised with André Vasconcelos, IST)

João Silveira, A Browser-based Anonymous Questionnaire System with User-controlled Linkability, MSc, December 2019 (co-advised with Wouter Lueks, EPFL)

Simão Valente, Security Analytics with Mixed Event Sources and Ensembles, MSc, December 2019 (co-advised with Luís Dias, Academia Militar)

Rafael Belchior, JusticeChain: Using Blockchain To Protect Justice Data, MSc, December 2019 (co-advised with André Vasconcelos, IST)

Cláudio Correia, Omega: a Secure Event Ordering Service for the Edge, MSc, November 2019 (co-advised with Luís Rodrigues, IST)

Nuno Falcão, Cibersegurancça em Cidades Inteligentes - Segurança das Tecnologias e dos Dados em Sistemas Inteligentes de Transporte, MSc, November 2019

João Carreiro, Identificação e Análise de Cryptojacking, MSc, November 2019

Rui Barata, RectifyPlus - Black-Box Intrusion Recovery in MEAN Applications, MSc, November 2019 (co-advised with Miguel Pardal, IST)

Natalino Cordeiro, Web Monetization Using Crypto-Currencies, MSc, November 2018

Hélder Reia, Online Security Analytics, MSc, November 2018 (co-advised with Rui Neves, IST)

Pedro Madeira, Response Rate Limiting no serviço DNS de .PT, MSc, November 2018 (co-advised with Assis Guerreiro, DNS.PT)

Jorge Alves, Identity in BlockChain and Smart Contracts, MSc, November 2018 (co-advised with Diogo Ferreira, Multicert)

Carlos Faria, Blockchain Simulator, MSc, November 2018

João Amado, Detecção de Ataques Desconhecidos em Tempo-Real em Redes Definidas por Software, MSc, November 2018 (co-advised with Fernando Ramos, FCUL)

Paulo Anjos, Blockchain as a Consensus Service, MSc, November 2018 (co-advised with Miguel Matos, IST)

Tiago Rosado, BCaR: Blockchain in Car Registration, MSc, November 2018 (co-advised with André Vasconcelos, IST/AMA)

Mbuku Tunga Ditutala, IPDiff - Detecting IP Traffic Changes, MSc, July 2018

Luis Reis Pereira, SmallChain - The Implementation of a Distributed Ledger, MSc, June 2018

Ricardo Moura, MultiTLS: secure channel with diversity, MSc, June 2018 (co-advised with Miguel Pardal, IST)

Isabel Costa, PREMIUM: Private Reactive Multipath Communication Middleware, MSc, June 2018 (co-advised with Miguel Pardal, IST)

Anabela Borges, Whitebox Fuzzing for Web Application Security, MSc, June 2018 (co-advised with Ibéria Medeiros, FCUL)

Miguel Guerra, Introspection for ARM TrustZone, MSc, June 2018 (co-advised with Hans P. Reiser, Univ. Passau, Germany)

Pedro Mendonça, Software Authenticity Protection in Smartphones using ARM Trustzone, MSc, Nov. 2017

Ivo Pinto, Security Risks in Healthcare, MSc, Feb. 2017 (co-advised with Paulo Sousa, Maxdata Healthcare Solutions)

Eugénio Alves da Silva, Practical use of Partially Homomorphic Cryptography, MSc, Nov. 2016

André Joaquim, vtTLS: A Vulnerability-Tolerant Communication Protocol, MSc, Nov. 2016 (co-advised with Miguel Pardal, IST) (won the 1st AP2SI Merit Award)

Diogo Raposo, MACHETE: Multi-path Communication for Security, MSc, Nov. 2016 (co-advised with Miguel Pardal, IST) (honor mention at the 1st AP2SI Merit Award)

Filipe Apolinário, SafeAudit: A Software Library for Efficient Data Integrity Verification on Commercial Clouds, MSc, Nov. 2016 (co-advised with Miguel Pardal, IST)

Karan Hamirshi Balu, DARSHANA: Detecting Route Hijacking For Communication Confidentiality, MSc, Nov. 2016 (co-advised with Miguel Pardal, IST)

Diogo Frazão, PARADISE - Preventive Advertising fRAud Detection Intelligent SystEm, MSc, Nov. 2016 (co-advised with João Redol, EyeSee)

Luis Sacramento, Detection of Unknown Network Attackers Through Flow Analysis, MSc, Nov. 2016 (co-advised with João Bota, Vodafone)

Mariana Paulo, Security Testing in Continuous Integration Systems, MSc, Nov. 2016 (co-advised with José Ramos, Nokia)

Christine Blakemore, Fingerprinting for Web Applications: from Devices to Related Groups, MSc, Jun. 2016 (co-advised with João Redol, EyeSee)

Rui Pires, Security for Satellite Access to Mesh Networks, MSc in Telecommunications and Informatics Engineering, IST, Nov. 2015 (co-advised with Orlando Remédios, SenseFinity)

Daniel Gonçalves, Automatic Diagnosis of Security Events in Complex Infrastructures using Logs, MSc in in Information Systems and Computer Engineering, IST, May 2015 (co-advised with João Bota, Vodafone)

Helton Miranda, TimelyWare: a Middleware for Timely and Reliable Communication over the Internet, MSc in Telecommunications and Informatics Engineering, IST, May 2015

Dário Nascimento, Recovery from Security Intrusions in Cloud Computing, MSc in Telecommunications and Informatics Engineering, IST, Feb. 2015

Miguel Beatriz, Automatic Web Vulnerability Discovery with Fuzzing, MSc in in Information Systems and Computer Engineering, IST, Nov. 2014.

Ricardo Carvalho, Security from Authentication Vulnerabilities in Cloud Computing, MSc in in Information Systems and Computer Engineering, IST, Nov. 2014.

João Félix, Gestão de Estado Eficiente no Serviço de Coordenação DDS, Mestrado em Informática, FCUL, Nov. 2012. (co-advised with Alysson Bessani)

Francisco Rocha, Privacy in Could Computing, MSIT-IS / Mestrado em Segurança Informática, December 2010

Yan Xie, A Grid Computing Environment for Fuzzing, MSIT-IS / Mestrado em Segurança Informática, December 2010

Gustavo Nascimento, Detection System for Web-based Attacks, MSIT-IS / Mestrado em Segurança Informática, December 2010

Sérgio Nunes, Web attack risk awareness with lessons learned from high interaction honeypots, MSc in Information Technology / Information Security, CMU/FCUL, December 2009.

Pan Jieke, Cooperative Intrusion Detection for The Next Generation Carrier Ethernet, Master / Mestrado em Informática, Faculdade de Ciências da Universidade de Lisboa, March 2008 (co-advised with Eng. João Redol, Nokia-Siemens)

Ibéria Medeiros, Detection of Integer Vulnerabilities in Porting Software from 32 to 64 bit Architectures (Detecção de Vulnerabilidades de Inteiros na Adaptação de Software de 32 para 64 Bits), Master / Mestrado em Informática, Faculdade de Ciências da Universidade de Lisboa, March 2008

Carlos Lourenço, Security by Default in Database Management Systems (Segurança da Configuração por Omissão de Sistemas de Gestão de Bases de Dados), Master / Mestrado em Informática, Faculdade de Ciências da Universidade de Lisboa, March 2008

Henrique Moniz, Randomized Intrusion-Tolerant Asynchronous Services, Master / Mestrado em Informática, Faculdade de Ciências da Universidade de Lisboa, December 2006. (co-advised with Nuno Ferreira Neves)

Graduation in Engineering

Tiago Jorge, Projecto de uma Componente Distribuída para Suporte a Protocolos Tolerantes a Intrusões (Design of a Distributed Component for Supporting Intrusion-Tolerant Protocols, Curso de Especialização Profissional em Engenharia Informática, Faculdade de Ciências da Universidade de Lisboa, July 2005.

José Pascoal, Projecto de um Serviço Distribuído Replicado Tolerante a Intrusões (Design of a Distributed Intrusion-Tolerant Replicated Service), Curso de Especialização Profissional em Engenharia Informática, Faculdade de Ciências da Universidade de Lisboa, July 2005.

Pan Jieke, Projecto de uma Componente Distribuída Segura usando o LIDS (Design of a Distributed Security Kernel based on LIDS), Curso de Especialização Profissional em Engenharia Informática, Faculdade de Ciências da Universidade de Lisboa, July 2005.

home