
Curriculum Vitae
HENRIQUE JOÃO LOPES DOMINGOS
Henrique Domingos NOVA LINCS Group: Computer Systems Research topics: Dependable Systems; Security; Privacy; Trusted Computing;
Cloud Computing Google Scholar: d-MWhrkAAAAJ&hl Henrique Domingos is an associate professor at the computer science department
of the Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa (FCT/UNL) and integrated member of the NOVA LINCS research
laboratory. Henrique has a PhD in Information Systems and Computer Engineering from FCT/UNL (2000) and a MSc degree from Faculdade
de Ciências at Universidade de Lisboa (1994). He has authored or co-authored research publications in conference proceedings
and journals, including IEEE TCC, IEEE TDSC, ACM IJCS or ACM CSCW. Henrique also served in several conference program committees
and organization bodies, regularly collaborating in review committees of conferences, workshops and editorial boards (ex.,
ACM CCS, IEEE Euro S&P, IEEE TCC, IEE TIFS or IEEE TSC among others). His research has covered different topics of dependable
distributed systems, with current research interests on security, privacy-preservation, trusted and confidential computing,
targeting internet-based protocols and services, blockchain platforms, cloud-computing, and IoT-Edge-Cloud continuum environments.
Henrique Domingos has successfully supervised 1 PhD thesis, he is the local advisor of 2 more PhD students integrated in the
international Portugal-CMU program, he advised 66 MSc students in their dissertations, 3 in co-advising collaborations and
1 postdoc researcher. He is the supervisor of 4 on-going MSc thesis and supervised since 1994 more than 100 students in final
B.S. projects. Henrique worked as principal investigator in 2 national research projects. He was a co-coordinator of an European
Research Project (Esprit II program). He was the principal researcher, co-principal researcher and participated as team member
in more than 10 national research projects with funding from the Portuguese National Science Foundation (FCT). In different
academic extension projects, he obtained funding for R&D projects from multiple organizations and private companies, including
Amazon Research, IBM Research and multiple entities from the national Banking and Financings sectors, Healthcare industry,
and Public Administration entities. Henrique served as jury member and thesis rapporteur of 18 Ph.D., and 44 MSc dissertations,
in 12 different academic institutions. Since 1998 Henrique Domingos was involved in multiple academic extension and entrepreneurship
activities as invited researcher, R&D consultant, and entrepreneurship activities. He collaborated with international and
national government agencies, different public-administration entities, national and international regulation bodies and PT
or EU research funding entities. Since 1992 he launched 1 SGPS and three startup companies. Sel. publications: - TorKameleon:
Improving Tor Censorship Resistance with K-anonymization and Media-Based Covert Channels, A. Vilalonga, H. Domingos, 22th
IEEE Intl. Conference on Trust, Security and Privacy (Trustcom 2023) - Boolean Searchable Symmetric Encryption With Filters
on Trusted Hardware, B Ferreira, B Portela, T Oliveira, G Borges, H Domingos, and J Leitão, IEEE Transactions on Dependable
Computing, 19 (2), Mar-Apr 2022 - Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories B. Ferreira,
J. Rodrigues, J. Leitao, H. Domingos, IEEE Transactions on Cloud Computing 7 (3), pp. Jul-Sep 2019 - BISEN: Efficient Boolean
Searchable Symmetric Encryption with Verifiability and Minimal Leakage, B. Ferreira, B. Portela, T. Oliveira, G. Borges, H.
Domingos, J. Leitão, 38th Symp. on Reliable Distributed Systems (SRDS 2019) - Muse: Multimodal Searchable Encryption for Cloud
Applications, B. Ferreira, J. Leitão, H. Domingos, IEEE 37th Symp. on Reliable Distributed Reliable Distributed Systems (SRDS
2018)
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 |