Identification
Personal identification
- Full name
- HENRIQUE JOÃO LOPES DOMINGOS
Citation names
- Henrique Domingos
- Henrique João Domingos
- H. Domingos
- Domingos, Henrique
Author identifiers
- Ciência ID
- 1011-C0E9-55E8
- ORCID iD
- 0000-0002-5536-7729
- Google Scholar ID
- d-MWhrkAAAAJ&hl
- Researcher Id
- G-5812-2013
Telephones
- Telephone
-
- (351) 212 948 30 Ext.: 10727 (Professional)
Addresses
- 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 (Professional)
Websites
- https://www.di.fct.unl.pt/pessoas/docentes/henrique-joao-domingos (Professional)
- https://nova-lincs.di.fct.unl.pt/people/henrique-joao-domingos#resume (Professional)
- https://asc.di.fct.unl.pt/~hj (Professional)
Knowledge fields
- Exact Sciences - Computer and Information Sciences - Computer Sciences
Languages
Language | Speaking | Reading | Writing | Listening | Peer-review |
---|---|---|---|---|---|
Portuguese (Mother tongue) | |||||
English | Advanced (C1) | Advanced (C1) | Advanced (C1) | Advanced (C1) | |
French | Upper intermediate (B2) | Upper intermediate (B2) | Intermediate (B1) | Advanced (C1) | |
Spanish; Castilian | Upper intermediate (B2) | Upper intermediate (B2) | Intermediate (B1) | Advanced (C1) |
Education
Degree | Classification | |
---|---|---|
1996 - 2000
Concluded
|
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" (THESIS/DISSERTATION)
|
Approved |
1991 - 1993
Concluded
|
Informatics (Master)
Major in Mestrado em Informática
Universidade de Lisboa Faculdade de Ciências, Portugal
"Sistemas de Comunicação Fiável em Grupo" (THESIS/DISSERTATION)
|
Approved with classification: Excellent with distinction and honor mention |
1983 - 1985
Concluded
|
Post-BSc Specialization in Informatics and Digital Systems (Especialização pós-licenciatura)
Major in Informática
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
|
Approved |
1977 - 1982
Concluded
|
Electrical Engineering - Telecomunications and Electronics Specialization (Licenciatura)
Major in 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" (THESIS/DISSERTATION)
|
16 Valores (out of 20 Scale) |
Affiliation
Science
Category Host institution |
Employer | |
---|---|---|
2015 - Current | Researcher (Research) | 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 | Researcher (Research) | 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 |
Teaching in Higher Education
Category Host institution |
Employer | |
---|---|---|
2018 - Current | Associate Professor (University Teacher) | Universidade Nova de Lisboa, Portugal |
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal | ||
2000 - 2017 | Assistant Professor (University Teacher) | Universidade Nova de Lisboa, Portugal |
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal | ||
1994 - 2000 | Assistant (University Teacher) | Universidade Nova de Lisboa, Portugal |
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal | ||
1989 - 1994 | Trainee Assistant (University Teacher) | Universidade de Lisboa, Portugal |
Universidade de Lisboa Faculdade de Ciências, Portugal | ||
1987 - 1989 | Trainee Assistant (University Teacher) | Universidade Nova de Lisboa, Portugal |
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal | ||
1980 - 1983 | Trainee Assistant (University Teacher) | Universidade de Angola, Faculdade de Engenharia, Angola |
Others
Category Host institution |
Employer | |
---|---|---|
1985 - 1987 | Researcher Assistant | IBM Research, United States |
1983 - 1984 | Invited Trainee Assistant | Universidade de Coimbra Departamento de Engenharia Electrotécnica e de Computadores, Portugal |
Projects
Grant
Designation | Funders | |
---|---|---|
2014 - 2016 | Privacy-Preserved Cloud Storage: Searchable Encryption with Partial Homomorphic Methods
AMAZON RESEARCH AWARDS (ARA Program)
Research Fellow
Amazon Research Awards, United States
|
Amazon Research Awards
Concluded
|
1996/09 - 2000/04 | PhD Grant
PRODEP II Grant
PhD Student Fellow
Ministério da Ciência e Tecnologia, Brazil
Fundação para a Ciência e a Tecnologia, Portugal |
Concluded
|
1985 - 1997 | Specialization Training in Engineering with Certification on IBM 9370 Technology, VSE OS
IBM Scholarship
Scientific Initiation Fellow
|
Concluded
|
1992 - 1994 | EWS - European Work Station
EWS, EEC Program, ID 2569
Co-Principal Investigator (Co-PI)
|
Inria Centre de Recherche Grenoble Rhone-Alpes Chorus Systèmes Siemens AG Concluded
|
Contract
Designation | Funders | |
---|---|---|
2023/07/01 - 2024/07/30 | FEEF - From Educators to Entrepreneurial Facilitators (Erasmus EU Project)
KA220-HED-9FF25351
Researcher
NOVA University of Lisbon, NOVA School of Sciences and Technlogy - NOVA LINCS Research Lab, Portugal
|
European Union
Ongoing
|
2023 - 2024 | EUTOPIA CC Project for Innovation and Entrepreneurship
Co-Principal Investigator (Co-PI)
Universidade Nova de Lisboa, Portugal
Eutopia Foundation, United States |
European Commission
Ongoing
|
2021/06 - 2022/04 | LESS - LESS (is more): Low-level External Superoptimizer for Smart contracts
Co-Principal Investigator (Co-PI)
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
Concluded
|
2018 - 2022 | OSSE - Observatório de Tecnologias de Segurança da Internet Portuguesa (ISOC.PT)
Co-Principal Investigator (Co-PI)
Internet Society Foundation - Internet Society Portugal Chapter, Portugal
|
Internet Society Foundation - Internet Society Portugal Chapter
Concluded
|
2018/10 - 2021/09 | HADES - Hardware-backed trusted and scalable decentralized systems
Researcher
NOVA University of Lisbon, NOVA School of Sciences and Technlogy - NOVA LINCS Research Lab, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluded
|
2018/10 - 2019/03 | IGF-CITIUS: Projeto de Auditoria de Segurança e Controlo de Qualidade
Principal investigator
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 |
Concluded
|
2017 - 2019 | LightKone - Lightweight Computation for Networks at the Edge
Researcher
NOVA University of Lisbon, NOVA School of Sciences and Technlogy - NOVA LINCS Research Lab, Portugal
|
European Union
Concluded
|
2014/10 - 2016/09 | MyPrivateEC2 - End-to-End Privacy Enhanced Services
Principal investigator
Amazon Research Awards, United States
NOVA University of Lisbon, NOVA School of Sciences and Technlogy - NOVA LINCS Research Lab, Portugal |
Amazon Web Services Inc Amazon Research Awards Concluded
|
2011/04 - 2014/09 | SITAN - Services for Intrusion Tolerant AdHoc Networks
Co-Principal Investigator (Co-PI)
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 Concluded
|
2011/07 - 2013/12 | ByPhone - Image processing for interaction, payment and security mechanisms on mobile devices
Researcher
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
Researcher
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
European Science Foundation
Concluded
|
2005/03 - 2008/02 | FEW - Files EveryWhere
Researcher
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
Concluded
|
2005/04 - 2007/03 | MFAP DOMVS APPSERVER - EBanking Multi Factor Authentication Platform
MFAP DOMVS APP SERVER
Principal investigator
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 Concluded
|
2004 - 2007 | MobiWorkFlow - A Mobile and Adaptive Workflow Management System
Principal investigator
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
Concluded
|
2001/10 - 2004/09 | DATABRICKS - Data Components for Mobile Applications
Researcher
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
Concluded
|
1999/10 - 2002/09 | MobiSnap - Managing Database Snapshots on a Mobile Environment
Researcher
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
Concluded
|
1996 - 1999 | EWS - EuroWorkStation
EWS
Researcher
Chorus Systèmes, France
|
FFCT-UNL - Fundação da Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
Concluded
|
Outputs
Publications
Conference paper |
|
Edited book |
|
Journal article |
|
Report |
|
Thesis / Dissertation |
|
Activities
Supervision
Thesis Title Role |
Degree Subject (Type) Institution / Organization |
|
---|---|---|
2023 - Current | Dependable IoT-Edge-Cloud Continuum Systems
Supervisor of João Afoso Vilalonga
|
Doutoramento em Informática (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2022/09 - Current | Privacy-Preserved Large Scale Blockchains
Co-supervisor of Pedro Miguel Cordeiro Camponês
|
Doutoramento em Informática (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2013 - 2016 | Privacy-Preserving Efficient Searchable Encryption
Supervisor of Bernardo Luís da Silva Ferreira
|
Doutoramento em Informática (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
Ad Hoc journal article review
Journal title (ISSN) | Publisher | |
---|---|---|
2018 - 2021 | Concurrency and Computation (1532-0634) | Wiley |
2015 - 2015 | International Journal of Information Security | Springer |
Association member
Society Organization name | Role | |
---|---|---|
2015 - Current | ISOC - Internet Society, Internet Society Portugal Chapter | Member and Activist, Elected Member of the Board (Period: 2015-2021) |
2012 - Current | EFF - Electronic Frontier Foundation | Member and Activist |
2012 - Current | ACM SIGOPS - EUROSYS | Member |
2004 - Current | ACM Special Interest Group on Security, Audit and Control (SIGSAC) | ACM Senior Member |
1996 - Current | IEEE - Institute of Electrical and Electronics Engineering | IEEE Senior Member |
1996 - Current | ACM - Association for Computer Machinery | ACM Senior Member |
Committee member
Activity description Role |
Institution / Organization | |
---|---|---|
2023 - Current | Steering Committee - Elected Member.
Member
|
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)
Director
|
ISOC - Internet Society, ISOC Foundation, United States |
Conference scientific committee
Conference name | Conference host | |
---|---|---|
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 |
Journal scientific committee
Journal title (ISSN) | Publisher | |
---|---|---|
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 |