???global.info.a_carregar???
Manuel Eduardo Correia é doutorado em Ciência de computadores pela Universidade do Porto e mestre em Engenharia Informática pelo Imperial College. É Professor Associado com Agregação do departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto, onde foi diretor do curso de mestrado em segurança informática entre 2014 e 2018. Ao longo da sua carreira foi investigador coordenador responsável por vários projetos de investigação relacionados com Segurança Informática. Os seus atuais interesses de investigação centram-se na Detecção de Anomalias, Ambientes de Execução Confiável, Identidade Digital e Biometria. Foi também assessor técnico de algumas agências públicas portuguesas (Saúde e Educação), atuando como consultor para a segurança do sistema nacional de prescrição eletrônica, sendo também responsável pelo desenvolvimento do sistema biométrico match-on-card, atualmente em uso pelo cartão do cidadão (eID) Português. É cofundador de uma spin-off da Universidade, denominada HealthySystems, que centra a sua atividade na área da segurança da informação e informática médica, com um forte foco em sistemas de Integração escaláveis baseados em HL7/FHIR, Autenticação e controlo de acessos, sistemas de pseudo-anonimização de dados clínicos e sistemas de auditoria alinhados com o RGPD e diretivas NIS 2. Em 2014 esta empresa ganhou o Prémio da Associação Nacional de Farmácias para a farmácia do futuro com um projeto denominado "DigitalPharma". Mais recentemente ganhou um prémio do CIO Summit Portugal, com o desenvolvimento de uma solução de software para apoiar a gestão clínica e integração de sistemas para Hospitais de grande dimensão. Foi Pró-Reitor da Universidade do Porto para “as Infraestruturas Tecnológicas e Segurança dos Sistemas de Informação” durante o período compreendido entre Junho/2018 a Novembro/2021.
Read full resume ↓
Identification

Personal identification

Full name
Manuel Eduardo Carvalho Duarte Correia

Citation names

  • Correia, Manuel
  • Manuel E. Correia

Author identifiers

Ciência ID
6F1E-8782-534D
ORCID iD
0000-0002-2348-8075
AuthenticusID
R-000-A3B
Google Scholar ID
7OsOnNcAAAAJ
Researcher Id
B-2833-2012
Scopus Author Id
24729160900

Email addresses

  • mdcorrei@fc.up.pt (Professional)
  • mdcorrei@fc.up.pt (Professional)

Addresses

  • FCUP/UP. Rua do Campo Alegre, 1021/1055, 4169-007, Porto, Porto, Portugal (Professional)

Websites

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Computer Hardware and Architecture
  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Computer Hardware and Architecture
  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Computer Hardware and Architecture
  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Computer Hardware and Architecture
  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Computer Hardware and Architecture
  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Computer Hardware and Architecture

Languages

Language Speaking Reading Writing Listening Peer-review
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Portuguese (Mother tongue)
French Intermediate (B1) Advanced (C1) Intermediate (B1) Upper intermediate (B2) Upper intermediate (B2)
Spanish; Castilian Advanced (C1) Proficiency (C2) Intermediate (B1) Proficiency (C2) Intermediate (B1)
Education
Degree Classification
2023/12/11 - 2023/12/12
Concluded
 Agregação em Ciência de Computadores pela Faculdade de Ciências da Universidade do Porto (Título de Agregado)
Major in Ciência de Computadores
Universidade do Porto Faculdade de Ciências, Portugal
 Aprovado por Unanimidade
2001/11/06
Concluded
 Ciências de Computadores (Doutoramento)
Major in Implementação de sistemas paralelos de programação em Lógica
Universidade do Porto Faculdade de Ciências, Portugal
"On the Implementation of And/or Parallel Logic Programming Systems" (THESIS/DISSERTATION)
1992/10/01 - 2001/10/01
Concluded
 Computer Science (Doutoramento)
Major in Computer Science
Universidade do Porto, Portugal
1991/09/01 - 1992/09/20
Concluded
 Foundations of Advanced Information Systems (FAIT) (Mestrado)
Major in Computer Science
Imperial College London Department of Computing, United Kingdom
1986/10/01 - 1990/09/20
Concluded
 Matemática Aplicada, ramo de Ciência de Computadores (Licenciatura)
Major in Ciência de Computadores
Universidade do Porto Faculdade de Ciências, Portugal
 15
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2020/10/30 - Current Associate Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2007 - 2020/10/31 Assistant Professor (University Teacher) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2002/02/11 - 2020/10/29 Assistant Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal

Positions / Appointments

Category
Host institution 		Employer
2008/06/27 - 2021/11/12 Pro-Rector Universidade do Porto, Portugal
Universidade do Porto Departamento de Ciência de Computadores, Portugal
2018 - 2019 Coordenação ou direção de centro de investigação, departamento ou equivalente Universidade do Porto, Portugal
2018 - 2019 Coordenação ou direção de centro de investigação, departamento ou equivalente Universidade do Porto, Portugal

Others

Category
Host institution 		Employer
2006/09/01 - 2007/07/10 Prof. Adjunto Instituto Superior Politécnico Gaya, Portugal
Projects

Grant

Designation Funders
2018/09 - 2019/08 Plataforma de Middleware para privacy em IoT
Provided by PTCRIS: CMU/CS/0042/2017
CMU/CS/0042/2017
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade de Aveiro, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
1995/10 - 1996/09 IMPLEMENTAÇÃO DE PROGRAMAS LÓGICOS EM PARALELO
Provided by PTCRIS: PTDC/EIA-EIA/104328/2008
Provided by PTCRIS: PRAXIS XXI/BD/5596/95
 Fundação para a Ciência e a Tecnologia

Contract

Designation Funders
2020/07/01 - 2023/09/30 THEIA - Automated Perception Driving
POCI-01-0247-FEDER-047264
Researcher
Faculdade de Ciências da Universidade do Porto (FCUP), Portugal
 Agência para o Investimento e Comércio Externo de Portugal, E.P.E
2019/04/01 - 2022/03/31 Safe Cities - Inovação para Construir Cidades Seguras
POCI-01-0247-FEDER-041435
Researcher
2019/10/01 - 2021/09/30 CDAP@UP - Análise preditiva para promoção do sucesso do Estudante e combate ao abandono escolar na Universidade do Porto
POCI-05-5762-FSE-000206
Principal investigator
2019/09/01 - 2021/08/30 COP - Container Oriented Policing
POCI-01-0247-FEDER-039598
Principal investigator
2019/05/01 - 2021/04/30 ARENA - Gestão de Identidades, Modernização dos ARquivos e Aplicação Móvel de Eventos, Notificações e Agendamentos
POCI-02-0550-FEDER-040541
Principal investigator
2019/04/01 - 2021/03/31 SEAL - Student and Citizens Identities Linked
INEA/CEF/ICT/A2018/1633170
Principal investigator
Universidade do Porto - Reitoria, Portugal
 European Comission
Concluded
2020/07/01 - 2020/12/31 CYBERLAB Cybersecurity Innovation Lab for Public Administration
POCI-05-5762-FSE-000334
Principal investigator
Reitoria da Universidade do Porto, Portugal
 Agência para o Desenvolvimento e Coesão, I.P.
Concluded
2020/06/01 - 2020/12/31 xSOC - eXtended Security Operations Center
POCI-02-0550-FEDER-043997
Principal investigator
Reitoria da Universidade do Porto, Portugal
 Agência para a Modernização Administrativa, I.P.
Concluded
2018/10/01 - 2020/04/30 HS.REGISTER - Repositório centralizado de logs HS.REGISTER para rastreabilidade na Saúde
ADI - NORTE-01-0247-FEDER-033756
Researcher
2016/03/01 - 2020/02/29 Non-invasive monitoring of perinatal health through multiparametric digital representation of clinically relevant functions for improving clinical intervention in neonatal units (Digi-NewB)
info:eu-repo/grantAgreement/EC/H2020/689260/EU
 European Commission
2015/07/01 - 2019/06/30 TEC4Growth - Pervasive Intelligence, Enhancers and Proofs of Concept with Industrial Impacts
CCRN - NORTE-01-0145-FEDER-000020
CCRN - NORTE-01-0145-FEDER-000020
Researcher
N/A
2015/07/01 - 2019/06/30 NanoSTIMA - Macro-to-Nano Human Sensing: Towards Integrated Multimodal Health Monitoring and Analytics
CCRN - NORTE-01-0145-FEDER-000016
Researcher
2014/04/21 - 2018/07/31 Hyrax: Crowd-Sourcing de Dispositivos Móveis para o Desenvolvimento de Edge-Clouds
CMUP-ERI/FIA/0048/2013
FCT CMUP-ERI/FIA/0048/2013
Provided by PTCRIS: CMUP-ERI/FIA/0048/2013
Researcher
Instituto de Engenharia de Sistemas e Computadores, Portugal

Instituto de Telecomunicações, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2013/01/01 - 2015/06/30 SMARTGRIDS - Eletric energy systems
NORTE-07-0124-FEDER-000056
Principal investigator
2013 - 2015 APDIC - Arquivo e Preservação Digital de Informação Clínica
Fundação Calouste Gulbenkian MP/P-125997
Researcher
2010/04/01 - 2013/04/30 OFELIA- Ambientes abertos federados para a alavancagem de Identidade e autorização
PTDC/EIA-EIA/104328/2008
Principal investigator
2011/02/01 - 2013 SEHGovIA: Supporting the European eHealth Governance Initiative and Action
CIP-ICT-PSP.2010.3.2.B
Researcher
2006/01/01 - 2008/12/31 Daidalos II - Designing Advanced network Interfaces for the Delivery and Administration of Location independent, Optimised personal Services.
EU FP6 project (IST-2005-026943)
Principal investigator
2005/05/20 - 2008/07/31 myddas - Sistema de Base de Dados Dedutiva MySQL/Yap
POSC/EIA/59154/2004
Provided by PTCRIS: POSC/EIA/59154/2004
Universidade do Porto Faculdade de Ciências, Portugal

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2005/05/01 - 2008/04/30 MYDDAS
POSC/EIA/59154/2004
POSC/EIA/59154/2004
Researcher
N/A
1996/02/01 - 1999/09/30 Dolphin: Ambiente de Computação Paralela para Sistemas de Alto-Desempenho
Praxis 2/2.1/TIT/1577/95
Researcher
1995/01/01 - 1998/03/31 PROLOPPE: Programação em Lógica Paralela com Extensões
Praxis 3/3.1/TIT/24/94
Research Fellow
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Concluded
1995/12/01 - 1998/01/31 Melodia: Modelos para Execução de Programas Lógicos de Desenho e Implementação Avançada
PBIC/C/TIT/2495/95
Researcher
Outputs

Publications

Book
  1. Pereira, A.; Correia, M.; Brandão, P.. USB connection vulnerabilities on android smartphones: Default and vendors' customizations. 2014.
    10.1007/978-3-662-44885-4_2
  2. Correia, Manuel. A Secure and Dynamic Mobile Identity Wallet Authorization Architecture Based on a XMPP Messaging Infrastructure. 2013.
    10.4018/978-1-4666-2669-0.ch002
  3. Antunes, M.; Correia, M.E.. Tunable immune detectors for behaviour-based network intrusion detection. 2011.
    10.1007/978-3-642-22371-6_29
  4. Faculdade de Ciências; Antunes, M.J.; Correia, M.E.. Self Tolerance by Tuning T-Cell Activation: An Artificial Immune System for Anomaly Detection.. Portugal. 2010.
    10.1007/978-3-642-32615-8_1
  5. Castro, L.F.; Costa, V.S.; Geyer, C.F.R.; Silva, F.; Vargas, P.K.; Correia, M.E.. DAOS - Scalable and-or parallelism. 1999.
    10.1007/3-540-48311-X_125
Book chapter
  1. Ana Rebelo; Tiago Oliveira; Manual E. Correia; Jaime S. Cardoso. "Are Deep Learning Methods Ready for Prime Time in Fingerprints Minutiae Extraction?". 628-636. Springer International Publishing, 2019.
    10.1007/978-3-030-13469-3_73
  2. Augusto, AB; Correia, ME. "A Mobile-Based Attribute Aggregation Architecture for User-Centric Identity Management". 2016.
    10.4018/978-1-5225-0159-6.ch019
  3. Augusto,AB; Manuel Eduardo Correia; Augusto, AB; Correia, ME. "A mobile-based attribute aggregation architecture for user-centric identity management". Portugal, 2013.
    http://dx.doi.org/10.4018/978-1-4666-4514-1.ch010
  4. Santos-Pereira, Cátia; Augusto, Alexandre; Correia, Manuel; Ferreira, Ana; Cruz-Correia, Ricardo. "A Mobile Based Authorization Mechanism for Patient Managed Role Based Access Control Information Technology in Bio- and Medical Informatics". edited by Böhm, Christian; Khuri, Sami; Lhotská, Lenka; Renda, M.. 2012.
    10.1007/978-3-642-32395-9_5
  5. Augusto, Alexandre; Correia, Manuel. "OFELIA – A Secure Mobile Attribute Aggregation Infrastructure for User-Centric Identity Management". edited by Gritzalis, Dimitris; Furnell, Steven; Theoharidou, Marianthi, 61-74. 2012.
    10.1007/978-3-642-30436-1_6
  6. Antunes, M.; Silva, C.; Ribeiro, B.; Correia, M.. "A Hybrid AIS-SVM Ensemble Approach for Text Classification". edited by Dobnikar, A.; Lotric, U.; Ster, B., 342-352. 2011.
    10.1007/978-3-642-20267-4_36
Conference paper
  1. Shehu, AS; Pinto, A; Correia, ME. "SPIDVerify: A Secure and Privacy-Preserving Decentralised Identity Verification Framework". 2023.
    10.1109/smartnets58706.2023.10215588
  2. Freitas, T; Soares, J; Correia, ME; Martins, R. "Skynet: a Cyber-Aware Intrusion Tolerant Overseer". 2023.
    10.1109/dsn-s58398.2023.00034
  3. Shehu, AS; Pinto, A; Correia, ME. "A Decentralised Real Estate Transfer Verification based on Self-Sovereign Identity and Smart Contracts". 2022.
    10.5220/0011384700003283
  4. Ferreira, S; Antunes, M; Correia, ME. "Forensic Analysis of Tampered Digital Photos". 2021.
    10.1007/978-3-030-93420-0_43
  5. Sa Correia, L; Correia, ME; Cruz Correia, R. "Illegitimate HIS access by healthcare professionals detection system applying an audit trail-based model". 2020.
    10.5220/0008991505390546
  6. Shehu, As; Pinto, A; Correia, ME. "Providing Secured Access Delegation in Identity Management Systems". 2020.
    10.5220/0009892206380644
  7. Lopes, N; Martins, R; Correia, ME; Serrano, S; Nunes, F. "Container Hardening Through Automated Seccomp Profiling". 2020.
    10.1145/3429885.3429966
  8. Shehu, AS; Pinto, A; Correia, ME. "On the interoperability of european national identity cards". 2019.
    10.1007/978-3-030-01746-0_40
  9. Shehu, AS; Pinto, A; Correia, ME. "Privacy Preservation and Mandate Representation In Identity Management Systems". 2019.
    10.23919/CISTI.2019.8760690
  10. Nwebonyi, FN; Martins, R; Correia, ME. "Security and Fairness in IoT Based e-Health System: A Case Study of Mobile Edge-Clouds". 2019.
    10.1109/wimob.2019.8923141
  11. Gonçalves Ferreira, DN; Leite, M; Pereira, CS; Correia, ME; Coelho Antunes, LF; Correia, RC. "HS.Register - An Audit-Trail Tool to Respond to the General Data Protection Regulation (GDPR)". 2018.
    10.3233/978-1-61499-852-5-81
  12. Gonçalves, R; Correia, ME; Brandão, P. "A Flexible Framework for Rogue Access Point Detection". 2018.
  13. Nwebonyi, FN; Martins, R; Correia, ME. "Reputation-Based Security System For Edge Computing". 2018.
    10.1145/3230833.3232819
  14. Santos Pereira, C; Cruz Correia, R; Brito, AC; Augusto, AB; Correia, ME; Bento, MJ; Antunes, L. "A qualitative research evaluation of a Portuguese computerized cancer registry". 2017.
    10.23919/cisti.2017.7975827
  15. Sousa, PR; Faria, P; Correia, ME; Resende, JS; Antunes, L. "Digital Signatures Workflows in Alfresco". 2016.
    10.1007/978-3-319-44159-7_22
  16. Ferreira, R; Correia, ME; Rocha Goncalves, F; Cruz Correia, R. "Visualization of passively extracted HL7 production metrics". 2015.
    10.5220/0005217604230430
  17. Goncalves, RP; Augusto, AB; Correia, ME. "Time/Space based Biometric Handwritten Signature Verification". 2015.
    10.1109/cisti.2015.7170483
  18. Ferreira, R; Correia, ME; Rocha Goncalves, F; Cruz Correia, R. "Data Quality in HL7 Messages - A Real Case Analysis". 2015.
    10.1109/cbms.2015.30
  19. Ferreira, AM; Lenzini, G; Pereira, CS; Augusto, AB; Correia, ME; Ferreira,AM; Lenzini,G; et al. "Envisioning secure and usable access control for patients". 2014.
    10.1109/SeGAH.2014.7067093
  20. Correia, Manuel; Rodrigues, H.; Antunes, L.F.C.; Santos, C.; Correia, M.E.; Pinho, T.M.; Magalhães, H.G.; et al. "Physician's awareness of e-prescribing security risks". 2013.
    10.1109/cbms.2013.6627848
  21. Malheiro Rodrigues,HAM; Luís Filipe Antunes; Manuel Eduardo Correia; Rodrigues, H.A.M.; Antunes, L.; Correia, M.E.. "Proposal of a Secure Electronic Prescription System". 2013.
    10.20533/iji.1742.4712.2013.0091
  22. Santos Pereira,C; Augusto,AB; Ricardo Correia; Manuel Eduardo Correia; Santos-Pereira, C.; Augusto, A.B.; Cruz-Correia, R.; Correia, M.E.. "A secure RBAC mobile agent model for healthcare institutions - Preliminary study". 2013.
    http://dx.doi.org/10.1007/978-3-642-40093-3_10
  23. Correia, Manuel; Reitoria; Faculdade de Ciências. "A PDF based digital signed document format for interoperable institutional structured data integrity". 2013.
    DOI: 10.7250/eunis.2013.040
  24. Martins, R.A.; Augusto, A.B.; Correia, M.E.; Martins,RA; Alexandre Barbosa Augusto; Manuel Eduardo Correia. "A potpourri of authentication mechanisms the mobile device way". 2013.
  25. Santos-Pereira, C.; Augusto, A.B.; Cruz-Correia, R.; Correia, M.E.. "A secure RBAC mobile agent access control model for healthcare institutions". 2013.
    10.1109/cbms.2013.6627814
  26. Maia, L.A.; Correia, M.E.; Maia, Luis A.; Correia, Manuel E.. "Java JCA/JCE programming in Android with SD smart cards". 2012.
  27. Martins, R.A.; Correia, M.E.; Augusto, A.B.. "A literature review of security mechanisms employed by mobile agents". 2012.
  28. Campos, M.J.; Correia, M.E.; Antunes, L.. "Leveraging identity management interoperability in eHealth". 2011.
    10.1109/ccst.2011.6095885
  29. Falcão-Reis, F.; Correia, M.E.. "Patient empowerment by the means of citizen-managed electronic health records: Web 2.0 health digital identity scenarios". 2010.
    10.3233/978-1-60750-565-5-214
  30. Antunes, M.; Correia, M.; Carneiro, J.. "Towards an immune-inspired temporal anomaly detection algorithm based on tunable activation thresholds". 2009.
    10.5220/0001553303570362
  31. Falcão-Reis, F.; Almeida, D.; Correia, M.E.. "On the strengthening of openid authentication mecanisms with the Portuguese citizen card". 2009.
  32. Falcão-Reis, F.; Correia, M.E.; Sousa, L.. "Towards patient empowerment - Can the patient really decide?". 2009.
    10.1007/978-3-642-03893-8-99
  33. Baptista, N.; Prior, R.; Correia, M.E.. "Telephone interface for the email service". 2009.
    10.1109/computationworld.2009.19
  34. Antunes, M.J.; Correia, M.E.. "An artificial immune system for temporal anomaly detection using cell activation thresholds and clonal size regulation with homeostasis". 2009.
    10.1109/IJCBS.2009.59
  35. Antunes, M.; Correia, M.. "TAT-NIDS: an immune-based anomaly detection architecture for network intrusion detection". 2008.
    10.1007/978-3-540-85861-4_8
  36. Falcão-Reis, F.; Costa-Pereira, A.; Correia, M.E.. "Access and privacy rights using web security standards to increase patient empowerment". 2008.
  37. Santos, R.; Correia, M.E.; Antunes, L.. "Securing a health information system with a government issued digital identification card". 2008.
    10.1109/ccst.2008.4751292
  38. Bessa, S.; Correia, M.E.; Brandão, P.. "Storage and retrieval on P2P networks: A DHT based protocol". 2007.
    10.1109/ISCC.2007.4381593
  39. Eduardo Correia, M; Santos Costa, V. "IAP for dummies: The YAP design". 2000.
    10.1016/s1571-0661(05)80106-9
  40. Correia, ME; Silva, F; Costa, VS. "The SBA: Exploiting orthogonality in AND-OR parallel systems". 1997.
  41. Costa, VS; Correia, ME; Silva, F. "Performance of Sparse Binding Arrays for Or-Parallelism". 1996.
    10.5753/sbac-pad.1996.19823
  42. Costa, VS; Correia, ME; Silva, FMA. "Aurora, Andorra-I and Friends on the Sun". 1994.
Journal article
  1. Tadeu Freitas; João Soares; Manuel E. Correia; Rolando Martins. "Deterministic or probabilistic? - A survey on Byzantine fault tolerant state machine replication". Computers & Security (2023): https://doi.org/10.1016/j.cose.2023.103200.
    10.1016/j.cose.2023.103200
  2. Ferreira, S; Antunes, M; Correia, ME. "Digital Forensics for the Detection of Deepfake Image Manipulations". ERCIM NEWS (2022):
  3. Sara Ferreira; Mário Antunes; Manuel E. Correia. "A Dataset of Photos and Videos for Digital Forensics Analysis Using Machine Learning Processing". Data 6 8 (2021): 87-87. https://doi.org/10.3390/data6080087.
    10.3390/data6080087
  4. Sara Ferreira; Mário Antunes; Manuel E. Correia. "Exposing Manipulated Photos and Videos in Digital Forensics Analysis". Journal of Imaging (2021): https://doi.org/10.3390/jimaging7070102.
    10.3390/jimaging7070102
  5. Rijo, R.; Martinho, R.; Oliveira, A.A.; Alves, D.; Nogueira Reis, Z.S.; Santos-Pereira, C.; Correia, M.E.; Antunes, L.F.; Cruz-Correia, R.J.. "Profiling IT security and interoperability in Brazilian health organisations from a business perspective". International Journal of E-Health and Medical Communications 11 2 (2020): 96-114. http://www.scopus.com/inward/record.url?eid=2-s2.0-85077541037&partnerID=MN8TOARS.
    10.4018/ijehmc.2020040106
  6. Martins, R.; Correia, M.E.; Antunes, L.; Silva, F.. "Iris: Secure reliable live-streaming with opportunistic mobile edge cloud offloading". Future Generation Computer Systems 101 (2019): 272-292. http://www.scopus.com/inward/record.url?eid=2-s2.0-85067573174&partnerID=MN8TOARS.
    10.1016/j.future.2019.06.011
  7. Nwebonyi, FN; Martins, R; Correia, ME. "Reputation based approach for improved fairness and robustness in P2P protocols". Peer-to-Peer Networking and Applications (2018):
    10.1007/s12083-018-0701-x
  8. Rodrigues, H; Correia, ME; Antunes, L. "A Secure Electronic Prescription System". International Journal for Infonomics (2013):
    10.20533/iji.1742.4712.2013.0091
  9. Correia, M. E.; Silva, F. M. A.; Costa, V. S.. "Aurora vs muse: A portability study of two or-parallel prolog systems". Computing Systems in Engineering 6 4-5 (1995): 345-349.
    10.1016/0956-0521(95)00042-9
Thesis / Dissertation
  1. Santos, Luís André Brísio Marques dos. "Implementation and evaluation of a spam classifier based on the dynamic behaviour of immune cells". Master, 2008. http://hdl.handle.net/10216/64160.

Other

Other output
  1. Temporal Anomaly Detection: An Artificial Immune Approach Based on T Cell Activation, Clonal Size Regulation and Homeostasis. This paper presents an artificial immune system (AIS) based on Grossman's tunable activation threshold (TAT) for temporal anomaly detection. We describe the generic AIS framework and the TAT model adopted for simulating T Cells behaviour, emphasizing two novel important features: the temporal dynamic adjustment of T Cells clonal size and its associated homeostasis mechanism. We also present some p. 2010. Manuel Eduardo Correia; Mário João Antunes; Antunes, Mario J.; Correia, Manuel E.. http://repositorio.inesctec.pt/handle/123456789/2963.
    http://dx.doi.org/10.1007/978-1-4419-5913-3_33
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2017/10/26 - 2023/12/06 Establishing Secure and Privacy Preserving Digital Identity With Self-Sovereign Identity
Supervisor of Muhammad Shehu Abubakar-Sadiq
 MAPI - Programa Doutoral em Ciência de Computadores (PhD)
Faculdade de Ciências da Universidade do Porto (FCUP), Portugal
2021/10/08 - 2023/11/27 Deepfake Generation for use in Dictionary Attacks on Facial Recognition Systems
Supervisor
 MERSI (Master)
Faculdade de Ciências da Universidade do Porto (FCUP), Portugal
2022/08/12 - 2023/11/20 SSI Technology in the context of eIDAS 2.0
Supervisor
 MSI - Mestrado em Segurança Informática (Master)
Faculdade de Ciências da Universidade do Porto (FCUP), Portugal
2020/10/01 - 2022/07/27 A machine learning based digital forensics application to detect tampered multimedia files
Supervisor
 Mestrado Integrado em Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Departamento de Ciência de Computadores, Portugal
2021/10/08 - 2022/07/22 Extensão web para deteção de conteúdo multimédia manipulado
Co-supervisor
 MERSI (Master)
Faculdade de Ciências da Universidade do Porto (FCUP), Portugal
2021/09/01 - 2022/07/21 Optimized Detector of Manipulated Media Content
Co-supervisor
 MSI - Mestrado em Segurança Informática (Master)
Faculdade de Ciências da Universidade do Porto (FCUP), Portugal
2020/10/01 - 2021/12/06 Academic Management Information Interoperability Platform for Higher Education Institutions
Supervisor
 Mestrado em Ciência de Computadores (Master)
Universidade do Porto Departamento de Ciência de Computadores, Portugal
2017/04/01 - 2019/11/14 Establishing Trust and Confidence Among Entities in Distributed Networks
Supervisor
 PD::MAPi (PhD)
Universidade do Porto Departamento de Ciência de Computadores, Portugal
2018/01/02 - 2018/12/06 Authentication modules for Keycloak authentication server
Supervisor
 Segurança Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2017/01/02 - 2017/12/05 A Web Anonymizer Platform for Datasets with Personal Information
Supervisor
 Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2017/01/16 - 2017/11 A flexible framework for Rogue Access Point detection
Co-supervisor
 Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2017/01/02 - 2017/07/13 Anonimização de bases de dados empresariais de acordo com a nova Regulamentação Europeia de Proteção de Dados
Supervisor
 Segurança Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2015/10/06 - 2016/12/13 Artur Jorge Rosendo Ferreira
Supervisor
 Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2016/01/02 - 2016/12/06 Controlo e Ocultação de dados pessoais em dispositivos móveis
Supervisor
 Segurança Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2016/01/02 - 2016/11/28 Biometrics on Mobile Devices Using the Heartbeat
Co-supervisor
 Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2016/01/02 - 2016/11/17 Levantamento de problemas de segurança nas redes sem fios
Co-supervisor
 Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2016/01/02 - 2016/07/12 Secure VoIP communications
Supervisor
 Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2015/01/02 - 2015/12/11 Large scale secure automatic provisioning of X.509 certificates via web services
Supervisor
 Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2015/01/02 - 2015/12/07 Handwritten signature authentication using motion detection and QR Codes
Supervisor
 Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2014/07/02 - 2014/07/31 Visualization of passively extracted HL7 production metrics
Supervisor
 Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2013/10/06 - 2014/07/30 USB Connection Vulnerabilities on Android smartphones
Supervisor
 Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2014/01/02 - 2014/07/24 NASCloud - Caching SSD e cifra local para dispositivos de Storage na Cloud
Supervisor
 Engenharia de Redes e Sistemas Informáticos
Universidade do Porto Faculdade de Ciências, Portugal
2012/10/06 - 2013/12/11 Migração para Web de um sistema integrado de provisão e cadastro de recursos
Supervisor
 Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2013/01/02 - 2013/10/25 (in)Segurança na Prescrição electrónica
Supervisor
 Informática Médica (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2012/10/06 - 2012/12/12 On the Integrity and Trustworthiness of web produced data
Supervisor
 Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2012/01/02 - 2012/12/11 Android In-Room Tablet
Co-supervisor
 Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2012/01/02 - 2012/12/06 A Mobile Based Attribute Aggregation Architecture for User-Centric Identity Management
Supervisor
 Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2012/01/02 - 2012/12/04 Mecanismos Seguros para o auto-aprovisionamento de certificados do cartão U. Porto
Supervisor
 Engenharia de Redes e Sistemas Informáticos
Universidade do Porto Faculdade de Ciências, Portugal
2011/01/02 - 2012/02/06 Boas práticas para construção de redes hospitalares
Co-supervisor
 Informática Médica (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2010/10/06 - 2011/12/12 Identity in ehealth – from the reality of physical identification to digital identification'
Co-supervisor
 Informática Médica (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2007/02/01 - 2011/11/13 ''An Artificial Immune System for anomaly detection based on dynamic tunable activation thresholds''
Supervisor
 PDCC (PhD)
Universidade do Porto Departamento de Ciência de Computadores, Portugal
2010/10/31 - 2011/07/16 Especificação para documento clínico electrónico - Relatório de imagem
Co-supervisor
 Informática Médica (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2007/10/31 - 2010/12 Patient empowerment. Information and privacy mechanisms for the 21st century
Supervisor
 Informática Médica (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2009/10/31 - 2010/03/08 Securing a health information system with a government issued digital identification card
Supervisor
 Informática Médica (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2008/10/02 - 2009/11/25 A Voice Based Telephone Interface for Email}
Co-supervisor
 Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2008 - 2008/12/05 Digital Identity - Identity, Security and Privacy
Supervisor
 Engenharia de Redes e Sistemas Informáticos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2008/01/02 - 2008/12/04 Implementation and Evaluation of a SPAM" Classifier based on te Dynamic Behavior of Immune Cells
Supervisor
 Bioinformática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2007/01/02 - 2008/04/30 A Small World based Methodology for the Construction of Efficient Overlay Networks for DHTs
Supervisor
 Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2004/01/02 - 2005/01/13 Integração de um sistema anti-spam com o servidor Cyrus
Supervisor
 Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2000/10/01 - 2001/10/01 Centralized Administration of Groups of Unix Systems
Supervisor
Universidade do Porto Departamento de Ciência de Computadores, Portugal
Distinctions

Award

2014 Edição 2014 do Prémio João Cordeiro Inovação em Farmácia
ANF - Associação Nacional das Farmácias, Portugal
2008 Prémio Niscayha Portugal 2008 - ''Desafio Securitas Systems - Novos Talentos, Inovação em Segurança Electrónica''
Niscayha Portugal, Portugal

Other distinction

2008 Sapo Summerbits