Identificação
Identificação pessoal
- Nome completo
- HENRIQUE JOÃO LOPES DOMINGOS
Nomes de citação
- Henrique Domingos
- Henrique João Domingos
- H. Domingos
- Domingos, Henrique
Identificadores de autor
- Ciência ID
- 1011-C0E9-55E8
- ORCID iD
- 0000-0002-5536-7729
- Google Scholar ID
- d-MWhrkAAAAJ&hl
- Researcher Id
- G-5812-2013
Telefones
- Telefone
-
- (351) 212 948 30 Ext.: 10727 (Profissional)
Moradas
- Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Departamento de Informática, Campus da Caparica, 2829 -516 CAPARICA, PORTUGAL, 2829-516, CAPARICA, ALMADA, Portugal (Profissional)
Websites
- https://www.di.fct.unl.pt/pessoas/docentes/henrique-joao-domingos (Profissional)
- https://nova-lincs.di.fct.unl.pt/people/henrique-joao-domingos#resume (Profissional)
- https://asc.di.fct.unl.pt/~hj (Profissional)
Domínios de atuação
- Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
Idiomas
Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
---|---|---|---|---|---|
Português (Idioma materno) | |||||
Inglês | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | |
Francês | Utilizador independente (B2) | Utilizador independente (B2) | Utilizador independente (B1) | Utilizador proficiente (C1) | |
Espanhol; Castelhano | Utilizador independente (B2) | Utilizador independente (B2) | Utilizador independente (B1) | Utilizador proficiente (C1) |
Formação
Grau | Classificação | |
---|---|---|
1996 - 2000
Concluído
|
Informatics (Doctorat)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"Suporte de Sessões de Trabalho Cooperativo Multi-síncrono em Ambientes de Grande Escala" (TESE/DISSERTAÇÃO)
|
Approved |
1991 - 1993
Concluído
|
Informatics (Master)
Especialização em Mestrado em Informática
Universidade de Lisboa Faculdade de Ciências, Portugal
"Sistemas de Comunicação Fiável em Grupo" (TESE/DISSERTAÇÃO)
|
Approved with classification: Excellent with distinction and honor mention |
1983 - 1985
Concluído
|
Post-BSc Specialization in Informatics and Digital Systems (Especialização pós-licenciatura)
Especialização em Informática
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
|
Approved |
1977 - 1982
Concluído
|
Electrical Engineering - Telecomunications and Electronics Specialization (Licenciatura)
Especialização em Telecomunicações e Eletrónica
Universidade do Porto Faculdade de Engenharia, Portugal
Universidade de Angola, Faculdade de Engenharia, Angola "Desenho, Implementação e Produção das Interfaces Série EIA RS232 e RS422 e Interface Paralela Centronics IEEE 1284 para o
Computador ENER 1000" (TESE/DISSERTAÇÃO)
|
16 Valores (out of 20 Scale) |
Percurso profissional
Ciência
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2015 - Atual | Investigador (Investigação) | Universidade Nova de Lisboa - Faculdade de Ciências e Tecnologia, NOVA LINCS: Nova Laboratory for Informatics and Computer Science, Portugal |
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal | ||
2000 - 2014 | Investigador (Investigação) | Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia, CITI - Centro de Informática e Tecnologias da Informação , Portugal |
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal |
Docência no Ensino Superior
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2018 - Atual | Professor Associado (Docente Universitário) | Universidade Nova de Lisboa, Portugal |
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal | ||
2000 - 2017 | Professor Auxiliar (Docente Universitário) | Universidade Nova de Lisboa, Portugal |
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal | ||
1994 - 2000 | Assistente (Docente Universitário) | Universidade Nova de Lisboa, Portugal |
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal | ||
1989 - 1994 | Assistente Estagiário (Docente Universitário) | Universidade de Lisboa, Portugal |
Universidade de Lisboa Faculdade de Ciências, Portugal | ||
1987 - 1989 | Assistente Estagiário (Docente Universitário) | Universidade Nova de Lisboa, Portugal |
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal | ||
1980 - 1983 | Assistente Estagiário (Docente Universitário) | Universidade de Angola, Faculdade de Engenharia, Angola |
Outros
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
1985 - 1987 | Researcher Assistant | IBM Research, Estados Unidos |
1983 - 1984 | Invited Trainee Assistant | Universidade de Coimbra Departamento de Engenharia Electrotécnica e de Computadores, Portugal |
Projetos
Bolsa
Designação | Financiadores | |
---|---|---|
2014 - 2016 | Privacy-Preserved Cloud Storage: Searchable Encryption with Partial Homomorphic Methods
AMAZON RESEARCH AWARDS (ARA Program)
Bolseiro de Investigação
Amazon Research Awards, Estados Unidos
|
Amazon Research Awards
Concluído
|
1996/09 - 2000/04 | PhD Grant
PRODEP II Grant
Bolseiro de Doutoramento
Ministério da Ciência e Tecnologia, Brasil
Fundação para a Ciência e a Tecnologia, Portugal |
Concluído
|
1985 - 1997 | Specialization Training in Engineering with Certification on IBM 9370 Technology, VSE OS
IBM Scholarship
Bolseiro de Iniciação Científica
|
Concluído
|
1992 - 1994 | EWS - European Work Station
EWS, EEC Program, ID 2569
Co-Investigador Responsável (Co-IR)
|
Inria Centre de Recherche Grenoble Rhone-Alpes Chorus Systèmes Siemens AG Concluído
|
Projeto
Designação | Financiadores | |
---|---|---|
2023/07/01 - 2024/07/30 | FEEF - From Educators to Entrepreneurial Facilitators (Erasmus EU Project)
KA220-HED-9FF25351
Investigador
NOVA University of Lisbon, NOVA School of Sciences and Technlogy - NOVA LINCS Research Lab, Portugal
|
European Union
Em curso
|
2023 - 2024 | EUTOPIA CC Project for Innovation and Entrepreneurship
Co-Investigador Responsável (Co-IR)
Universidade Nova de Lisboa, Portugal
Eutopia Foundation, Estados Unidos |
European Commission
Em curso
|
2021/06 - 2022/04 | LESS - LESS (is more): Low-level External Superoptimizer for Smart contracts
Co-Investigador Responsável (Co-IR)
NOVA University of Lisbon, NOVA School of Sciences and Technlogy - NOVA LINCS Research Lab, Portugal
|
FFCT-UNL - Fundação da Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
Concluído
|
2018 - 2022 | OSSE - Observatório de Tecnologias de Segurança da Internet Portuguesa (ISOC.PT)
Co-Investigador Responsável (Co-IR)
Internet Society Foundation - Internet Society Portugal Chapter, Portugal
|
Internet Society Foundation - Internet Society Portugal Chapter
Concluído
|
2018/10 - 2021/09 | HADES - Hardware-backed trusted and scalable decentralized systems
Investigador
NOVA University of Lisbon, NOVA School of Sciences and Technlogy - NOVA LINCS Research Lab, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2018/10 - 2019/03 | IGF-CITIUS: Projeto de Auditoria de Segurança e Controlo de Qualidade
Investigador responsável
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
FFCT-UNL - Fundação da Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal |
Concluído
|
2017 - 2019 | LightKone - Lightweight Computation for Networks at the Edge
Investigador
NOVA University of Lisbon, NOVA School of Sciences and Technlogy - NOVA LINCS Research Lab, Portugal
|
European Union
Concluído
|
2014/10 - 2016/09 | MyPrivateEC2 - End-to-End Privacy Enhanced Services
Investigador responsável
Amazon Research Awards, Estados Unidos
NOVA University of Lisbon, NOVA School of Sciences and Technlogy - NOVA LINCS Research Lab, Portugal |
Amazon Web Services Inc Amazon Research Awards Concluído
|
2011/04 - 2014/09 | SITAN - Services for Intrusion Tolerant AdHoc Networks
Co-Investigador Responsável (Co-IR)
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal NOVA University of Lisbon, NOVA School of Sciences and Technlogy - NOVA LINCS Research Lab, Portugal |
Fundação para a Ciência e a Tecnologia FFCT-UNL - Fundação da Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Concluído
|
2011/07 - 2013/12 | ByPhone - Image processing for interaction, payment and security mechanisms on mobile devices
Investigador
NOVA University of Lisbon, NOVA School of Sciences and Technlogy - NOVA LINCS Research Lab, Portugal
|
Agência Nacional de Inovação SA |
2003/09 - 2009/03 | MINEMA - Middleware for Network Eccentric and Mobile Applications
Investigador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
European Science Foundation
Concluído
|
2005/03 - 2008/02 | FEW - Files EveryWhere
Investigador
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Universidade do Minho Centro ALGORITMI, Portugal Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
2005/04 - 2007/03 | MFAP DOMVS APPSERVER - EBanking Multi Factor Authentication Platform
MFAP DOMVS APP SERVER
Investigador responsável
Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal |
Agência Nacional de Inovação SA Caixa Geral de Depositos Concluído
|
2004 - 2007 | MobiWorkFlow - A Mobile and Adaptive Workflow Management System
Investigador responsável
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
2001/10 - 2004/09 | DATABRICKS - Data Components for Mobile Applications
Investigador
Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
1999/10 - 2002/09 | MobiSnap - Managing Database Snapshots on a Mobile Environment
Investigador
Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
1996 - 1999 | EWS - EuroWorkStation
EWS
Investigador
Chorus Systèmes, França
|
FFCT-UNL - Fundação da Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
Concluído
|
Produções
Publicações
Artigo em conferência |
|
Artigo em revista |
|
Edição de livro |
|
Relatório |
|
Tese / Dissertação |
|
Atividades
Orientação
Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
---|---|---|
2023 - Atual | Dependable IoT-Edge-Cloud Continuum Systems
Orientador de João Afoso Vilalonga
|
Doutoramento em Informática (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2022/09 - Atual | Privacy-Preserved Large Scale Blockchains
Coorientador de Pedro Miguel Cordeiro Camponês
|
Doutoramento em Informática (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2013 - 2016 | Privacy-Preserving Efficient Searchable Encryption
Orientador de Bernardo Luís da Silva Ferreira
|
Doutoramento em Informática (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
Arbitragem científica em conferência
Nome da conferência | Local da conferência | |
---|---|---|
2020 - 2024 | ANRW – Advanced Network Research Workshop (ANRW) | Internet Society (ISOC) |
2009 - 2019 | INFORUM, Simpósio Nacional de Informática - Sessão: Segurança de Sistemas de Computadores e Comunicações (desde 2009 a 2019) | |
2014 - 2014 | Workshop on Planetary-Scale Distributed Systems (W-PSDS 2014) | INESC TEC - Univ. Minho, NOVA-LINCS - Nova University of Lisbon |
2011 - 2012 | International Conference on Computer Science, Engineering and Applications (ICCSEA 2011 - 2012)) | AIRCC, King Saud University - Saudi Arabia |
Arbitragem científica em revista
Nome da revista (ISSN) | Editora | |
---|---|---|
2009 - 2024 | International journal of Network Security & Its Applications (IJNSA) (0975 - 2307) | AIRCCSE |
2023 - 2023 | ACM Transactions on Privacy and Security | ACM |
2022 - 2023 | ACM Computing Surveys | ACM |
2019 - 2022 | IEEE Transactions on Information Forensics and Security | IEEE |
2019 - 2022 | IEEE Transactions on Cloud Computing | IEEE |
2019 - 2022 | IEEE Transactions on Privacy | IEEE |
2015 - 2016 | ACM Transactions on Information and System Security (TISSEC) (10949224) | ACM |
2014 - 2016 | Journal of Information Security and Applications | ELSEVIER |
2011 - 2014 | International Journal of Network Security & Its Applications (IJNSA) | AIRCC |
2009 - 2010 | International journal of Network Security & Its Applications (IJNSA) | AIRCC |
Membro de associação
Nome da associação | Tipo de participação | |
---|---|---|
2015 - Atual | ISOC - Internet Society, Internet Society Portugal Chapter | Member and Activist, Elected Member of the Board (Period: 2015-2021) |
2012 - Atual | EFF - Electronic Frontier Foundation | Member and Activist |
2012 - Atual | ACM SIGOPS - EUROSYS | Member |
2004 - Atual | ACM Special Interest Group on Security, Audit and Control (SIGSAC) | ACM Senior Member |
1996 - Atual | IEEE - Institute of Electrical and Electronics Engineering | IEEE Senior Member |
1996 - Atual | ACM - Association for Computer Machinery | ACM Senior Member |
Membro de comissão
Descrição da atividade Tipo de participação |
Instituição / Organização | |
---|---|---|
2023 - Atual | Steering Committee - Elected Member.
Membro
|
Universidade Nova de Lisboa - Faculdade de Ciências e Tecnologia, NOVA LINCS: Nova Laboratory for Informatics and Computer Science, Portugal |
2015 - 2021 | ISOC - Internet Society Portugal Chapter (Member of the Executive Board)
Diretor
|
ISOC - Internet Society, ISOC Foundation, Estados Unidos |
Revisão ad hoc de artigos em revista
Nome da revista (ISSN) | Editora | |
---|---|---|
2018 - 2021 | Concurrency and Computation (1532-0634) | Wiley |
2015 - 2015 | International Journal of Information Security | Springer |