Henrique Domingos Departamento de Informaacute;tica Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa Quinta da Torre, Monte da Caparica 2928 416 Caparica [Google Maps] [FCT Campus] Office: P3/3, DI-FCT-UNL Tel. (+351)212 948i 300 Ext.10727 Fax. (+351)212 948 541

[Home] [Affiliations & Bio] [Teaching] [Research] [Ref. Projects] [Students]

Supervised students
I supervised 67 students (2 Ph.D. students and 65 MSc. Students, including 2 co-supervised students) and more than 125 BSc. students in their final projects.
We also usually recruit students for research opportunities or for R&D positions on projects in industrial partnerships and business initiatives.
We are open for enthusiastic and motivated students willing to work on computer systems and networks or distributed systems security, dependability, privacy and trusted/confidential computing topics. See my contacts for on going work topics, projects, R&D activities, and thesis proposals.

Supervised students (2023/2024)

PhD Students

• Pedro Miguel Cordeiro Camponês (Ph.D. Student @DI-FCT-UNL Ph.D. Program)
Co-Adv. w/ Nuno Preguiça
Collaboration with Riad Wahby @CMU
Ph.D. Workplan with funding from the CMU-Portugal initiative
Scholarship from the CMU-Portugal Affiliated PhD Program.

• Topic (Work-Plan):
  Scalable and Secure Oblivious Blockchains


• João Afonso Teixeira Mendes Vilalonga (Ph.D. Student @DI/FCT/UNL PhD Program)
  Initial studenship support from DI-FCT-UNL and NOVA-LINCS. Proposed PhD Plan for FCT/MCTES scholarship in collaboration with João Resende @ NOVA LINCS and Osman Yagan @CMU
  
  • Topic (Work-Plan):
    Privacy-preserved Distributed Pipelines in IoT-Edge-Cloud Continuums

MSc Students

• Rodrigo Ralha Moreira (MSc Student @DI.FCT-UNL, MSc Thesis)
Privacy-Preserved Transactions on Efficient Permissionless Blockchains


• Hugo Gamaliel dos Santos Pereira (MSc Student @DI.FCT-UNL, MSc Thesis)
Topic: Privacy-Preserved Internet Communication with Unobservable and Anonymous Mixnet Traffic


• Daniel Cavalheiro (MSc Student @DI.FCT-UNL, MSc Thesis)
Topic: Blind SAT Auditing of Web-Vulnerabilities on Encrypted Code Repositories


• Diogo Henique Silvestre Matos Matos Cebola (MSc Student, Co-Adv. with Mattias Knorr @DI-FCT-UNL, MSc Thesis)
Topic: Privacy-Enhanced Ontologies - A Study on Secure Protocols for Expressive SPARQL Queries Over Encrypted Ontologies

---

Supervised students (2017-2023)
• Bernardo Luis da Silva Ferreira (PhD)
• Topic: Privacy-Preserving Efficient Searchable Encryption


• Henrique José Penides Campos Ferreira (MSc Student, @DI/FCT/UNL, MSc Thesis)
  Topic: HyFlexChain: A Permissionless Blockchain with Hybrid Consensus Planes
  
  
• Bruno Miguel de Oliveira Carvalho (MSc Student, @DI/FCT/UNL)
  • Topic:
    TIRDEANON: Deanonymization and Traffic Correlation Analysis of TIR as a Strengthened Solution to Improve Tor Anonymity Guarantees
  
  
• Miguel Sacadura Paz dos Santos Horta (MSc)
• Topic: Tor K-Anonimity against deep learning watermarking attacks


• Jorge Filipe Ferreira Pereira (MSc)
• Topic: Decentralizing Trust with Resilient Group Signatures in Blockchains


• Rafael Rodrigues Gameiro (Msc)
• Topic: TWallet - ARM TrustZone Enabled Trustable Mobile Cryptocurrency Wallet


• Francisco Miguel Carmo Godinho (MSc)
• Topic: Bringing Order into Things - Decentralized and Scalable Ledgering for the Internet-of-Things


• João André Furtado Teixeira (MSc)
• Strengthening Tor Against Traffic Correlation with K-Anonymity TLS Tunneled Input Circuits


• Pedro Miguel Cordeiro Camponês (MSc)
• Topic: Blockmess: Adaptive Parallel Chains with Deterministic Transaction Allocation


• João Afonso Teixeira Mendes Vilalonga (MSc)
• Topic: TorKamaleon - Improving Tor Censorship Resistence with K-Anonymization Media Morphing Covert Input Channels


• Ivo Miguel da Silva Rocha
• Topic: A Mobile Secure Bluetooth-Enabled Cryptographic Provider


• Guilherme Rosas Borges (MSc), Co-Adv. with Bernardo Ferreira
• Practical Isolated Searchable Encryption in a Trusted Computing Environment


• António Manuel Barata Ribeiro (MSc)
• Topic: Management of Trusted and Privacy Enhanced Cloud Computing Environments


• João Carlos Cristo Reis (MSc)
• Topic: TREDIS - A Trustable Full-Fledged SGX-Enabled REDIS Solution


• Emanuel Filipe Monteiro Carvalho (MSc)
• Topic: Secure Mobile Payments with ARM based TrustZone Execution Guarantees


• João Manuel Ferreira dos Santos (MSc)
• Topic: A Secure Cloud-Enabled Queryable System with Elastic Properties


• João Paulo de Oliveira Libório
• Topic: A Dependable and Searchable Multimodal Cloud-Middlware System


• Miguel Pires Egídio Reis
• Topic: A Blockchain-Enabled DPKI Framework
• Bernardo Luis da Silva Ferreira (PhD)
• Topic: Privacy-Preserving Efficient Searchable Encryption

Other supervised students (2002-2017)

See all ...
Ph.D. students

• Since 2022, on-going:
  Pedro Miguel Cordeiro Camponês
  Topic: Scalable and Secure Oblivious Blockchains

• Since 2023, on-going:
  João Afonso Teixeira Medes Vilalonga
  Topic: Privacy Preserved Computation Piplines in IoT-Edge-Cloud Continuums

• 2017 (concluded):
  Bernardo Luis da Silva Ferreira
  Privacy-Preserving Efficient Searchable Encryption

• 2020 (Suspended)
  João Miguel Rodrigues
  Privacy Preserved Oblivious Cloud-Enabled Storage

  MSc students

• Kim Hansen,
  Multichannel Platform for Internet Banking and Financing Services Technical University of Denmark, co-adv. w/ Michael Reishhardt ansen (Dep. of Applied Mathematics and Computer Science, Technical University of Denmark, Copenhagen)
  2002
• João Ricardo Janeiro e Monteiro
  Autenticação e confidencialidade com gestão descentralizada de confiança em sistemas distribuídos de arquitetura P2P
  2004
• Bruno Miguel de Almeida Bernardes
  Autenticação e Confidencialidade em Sistemas de Comunicação Fiável em Grupo
  2005
• João Carlos Nascimento Viegas
  ProjectNet: Gestão Colaborativa de Projetos de Desenvolvimento de Software
  2007
• Miguel Correia Ricardo
  Instrumentation, Profiling and Auditing Distributed Transactions and Web-Services in SOA N-Tier Platforms
  2007
• João Miguel Brites Borges
  Uma plataforma híbrida para simulação de redes de sensores IEEE 802.15.4 com integração de sensores virtualizados e sensores reais
  2007
• Pedro Leandro da Silva Amaral
  Encaminhamento Seguro em Redes de Sensores Sem Fios
  2008
• Luís Henrique Fernandes Moura Miranda
  Context-Aware Multi-Factor Authentication
  2009
• Pedro Filipe Bernardo
  Localização Segura de Objetos atravás de RFID
  2010
• António Pedro Correia
  A Development Framework for Collaborative Applications
  2010
• Nuno Alexandre de Freiras Boavida
  Pesquisas Baseadas em Difusão Segura de Dados em Redes de Sensores
  2010
• Bernardo Luís da Silva Ferreira
  Plataforma Unificada e Extensível para Colaboração com Dispositivos Heterogéneos
  2010
• Amável Martins Santo
  Espaços de Tuplos Seguros e Partihados, em Redes de Sensores sem Fios
  2010
• Francisco Gomes Martins
  BWallet: A mobile cryptocurrecy wallet for Bitcoin
  2011
• Tiago Filipe da Silva Araujo
  Simulação e Estudo Experimental de Protocolos de Encaminhamento Seguro Tolerante a Intrusões em Redes de Sensores sem Fios de Grande Escala
  2011
• Ivo André Lopes Rodrigues
  Distribuição Segura de Chaves Criptográficas em Redes de Sensores Sem Fios
  2011
• Pedro Miguel dos Reis Nunes
  Avaliação Experimental de Esquemas de Pré-Distribuição de Chaves em Redes de Sensores sem Fios
  2011
• André Ivo Guerreiro
  Intrusion Tolerant Routing Protocols for Ad-Hoc Sensor Based Networks
  2011
• Pedro Miguel Oliveira Marques da Silva
  Avaliação de Condições de Fiabilidade e Segurança de Protocolos de Encaminhamento para Redes de Sensores sem Fios
  2012
• João António Batista Tavares
  Encaminhamento de dados com tolerância a intrusões para redes de sensores sem fios
  2013
• António Miguel Carneirinho Guiomar
  TSTRATUS - Confiabilidade e Privacidade com Nuvens de Armazenamento de Dados
  2013
• João Carlos Andrade de Almeida Pereira
  Intrusion-Tolerant Routing for Distributed Consensus in Wireless Sensor Networks
  2013
• João Miguel Cardia Melro Rodrigues
  Gestão de Dados Privados Distribuidos em Múltiplas Nuvens Públicas
  2014
• Adriano Strumbudakis
  FairSky: Gestão Confiável e Otimizada de Dados em Múltiplas Nuvens de Armazenamento na Internet
  2014
• Vitor Hugo Pereira
  Segurança e Privacidade de Dados em Bases de Dados na Nuvem
  2014
• Pedro Miguel de Freitas Alves
  Analysis of Audit Trails in a Distributed and Hybrid Intrusion Detection Platform
  2016
• António Santos Roque Encrypted SQL Queries in a Cloud Enabled Database as a Service
  2016
• Rui Castanheira Sanches
  To Block or not to Block: Crossing Walls in a a Censored Internet
  2017
• João Oliveira Libório
  Privacy-Preserving Dependable Searchable Storage in a Cloud-of-Clouds
  2017
• Francisco Ventura de Carvalho Pinheiro
  Trusted Context-Based Access Control Enforcement for Mobile Applications
  2017
• Luís Filipe Malhadas
  Perceiving is Believing; Authentication with Behavioral and Cognitive Factors.
  2017
• Mário Gamero Almeida
  Searchable Encryption for Privacy-Enhanced Cloud-Enhanced Cloud Data Repositories
  2018
• Francisco Carmo Godinho
  Bringing Order into Things: Decentralized and Scalable Ledgering for the Internet-of-Things
  2018
• João Guita de Almeida
  Blockchain-Enabled Platform for Internet of Things Environments
  2018
• Filipe Silva Correia
  Privacy-Enhanced Query Processing in a Cloud-Based Encrypted Database as a Service
  2018
• Guilherme Rosas Borges
  Practical Isolated Searchable Encryption in a Trusted Computing Environment.
  Co-Adv. w/ Bernardo Silva Ferreira (Adv.)
  2018
• António Barata Ribeiro
  Management of Trusted and Privacy Enhanced Cloud Computing Environments
  2018
• Emanuel Monteiro Carvalho
  Secure Payments with ARM based TrustZone Execution Guarantees
  2019
• Miguel Egídio Reis
  A Blockchain-Enabled PKI Framework
  
• Ivo Silva Rocha
  A Mobile Secure Bluetooth-Enabled Cryptographic Provider
  2019
• Micael Alexandre Beco
  Security Auditing and Assessment based on a Collaborative Reputation System of IP Endpoints
  2019
• Miguel de Lemos Dias Rosa Anciães
  Trusted Cloud-Enabled Data-Store with an Hardware-Shielded Cryptographic Provider
  2020
• Nuno Gonçalo Sequeira Morais
  Practical Intel-SGX Enabled Virtual OS Library
  2020
• António Barata Ribeiro
  Management of Trusted and Privacy Enhanced Cloud Computing Environments
  2021
• Jorge Filipe Ferreira Pereira
  Decentralizing Trust with Resilient Group Signatures in Blockchains
  2021

• Pedro Miguel Cordeiro Camponês
  Blockmess: Adaptive Parallel Chains with Deterministic Transaction Allocation
  2021

• João Manuel Ferreira dos Santos
  A Secure Cloud-Enabled Queryable System with Elastic Properties
  2021

• Rafael Gameiro
  TWallet - ARM TrustZone Enabled Trustable Mobile Cryptocurrency Wallet
  2021

• João André Furtado Teixeira
  Strengthening Tor Against Traffic Correlation with K-Anonymity TLS Tunneled Input Circuits
  2022

• Ivo Miguel da Silva Rocha
  A Mobile Secure Bluetooth-Enabled Cryptographic Provider
  2022

• João Afonso Teixeira Mendes Vilalonga
  TorKamaleon - Improving Tor Censorship Resistence with K-Anonymization Media Morphing Covert Input Channels
  2022

• Miguel Sacadura Paz dos Santos Horta
Topic: Tor K-Anonimity against deep learning watermarking attacks
2022
• Bruno Miguel de Oliveira Carvalho
  TirDeanon: Deanonymization and Traffic-Observability Analysis of TIR a a Strengthened Solution to Improve Anonymity Guarantees in ToR
  

• Henrique José Penides Campos Ferreira
  HyFlexChain: A Permissionless Blockchain with Hybrid Consensus Planes
  



---