???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.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Manuel Eduardo Carvalho Duarte Correia

Nomes de citação

  • Correia, Manuel
  • Manuel E. Correia

Identificadores de autor

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

Endereços de correio eletrónico

  • mcc@dcc.fc.up.pt (Profissional)
  • mdcorrei@fc.up.pt (Profissional)

Moradas

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

Websites

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Hardware e Arquitetura de Computadores
  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Hardware e Arquitetura de Computadores
  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Hardware e Arquitetura de Computadores
  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Hardware e Arquitetura de Computadores
  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Hardware e Arquitetura de Computadores
  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Hardware e Arquitetura de Computadores

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Português (Idioma materno)
Francês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B2) Utilizador independente (B2)
Espanhol; Castelhano Utilizador proficiente (C1) Utilizador proficiente (C2) Utilizador independente (B1) Utilizador proficiente (C2) Utilizador independente (B1)
Formação
Grau Classificação
2023/12/11 - 2023/12/12
Concluído
 Agregação em Ciência de Computadores pela Faculdade de Ciências da Universidade do Porto (Título de Agregado)
Especialização em Ciência de Computadores
Universidade do Porto Faculdade de Ciências, Portugal
 Aprovado por Unanimidade
2001/11/06
Concluído
 Ciências de Computadores (Doutoramento)
Especialização em 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" (TESE/DISSERTAÇÃO)
1992/10/01 - 2001/10/01
Concluído
 Computer Science (Doutoramento)
Especialização em Computer Science
Universidade do Porto, Portugal
1991/09/01 - 1992/09/20
Concluído
 Foundations of Advanced Information Systems (FAIT) (Mestrado)
Especialização em Computer Science
Imperial College London Department of Computing, Reino Unido
1986/10/01 - 1990/09/20
Concluído
 Matemática Aplicada, ramo de Ciência de Computadores (Licenciatura)
Especialização em Ciência de Computadores
Universidade do Porto Faculdade de Ciências, Portugal
 15
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2020/10/30 - Atual Professor Associado (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2007 - 2020/10/31 Professor Auxiliar (Docente Universitário) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2002/02/11 - 2020/10/29 Professor Auxiliar (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2008/06/27 - 2021/11/12 Pró-Reitor 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

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2006/09/01 - 2007/07/10 Prof. Adjunto Instituto Superior Politécnico Gaya, Portugal
Projetos

Bolsa

Designação Financiadores
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
Concluído
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

Projeto

Designação Financiadores
2020/07/01 - 2023/09/30 THEIA - Automated Perception Driving
POCI-01-0247-FEDER-047264
Investigador
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
Investigador
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
Investigador responsável
2019/09/01 - 2021/08/30 COP - Container Oriented Policing
POCI-01-0247-FEDER-039598
Investigador responsável
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
Investigador responsável
2019/04/01 - 2021/03/31 SEAL - Student and Citizens Identities Linked
INEA/CEF/ICT/A2018/1633170
Investigador responsável
Universidade do Porto - Reitoria, Portugal
 European Comission
Concluído
2020/07/01 - 2020/12/31 CYBERLAB Cybersecurity Innovation Lab for Public Administration
POCI-05-5762-FSE-000334
Investigador responsável
Reitoria da Universidade do Porto, Portugal
 Agência para o Desenvolvimento e Coesão, I.P.
Concluído
2020/06/01 - 2020/12/31 xSOC - eXtended Security Operations Center
POCI-02-0550-FEDER-043997
Investigador responsável
Reitoria da Universidade do Porto, Portugal
 Agência para a Modernização Administrativa, I.P.
Concluído
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
Investigador
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
Investigador
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
Investigador
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
Investigador
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
Concluído
2013/01/01 - 2015/06/30 SMARTGRIDS - Eletric energy systems
NORTE-07-0124-FEDER-000056
Investigador responsável
2013 - 2015 APDIC - Arquivo e Preservação Digital de Informação Clínica
Fundação Calouste Gulbenkian MP/P-125997
Investigador
2010/04/01 - 2013/04/30 OFELIA- Ambientes abertos federados para a alavancagem de Identidade e autorização
PTDC/EIA-EIA/104328/2008
Investigador responsável
2011/02/01 - 2013 SEHGovIA: Supporting the European eHealth Governance Initiative and Action
CIP-ICT-PSP.2010.3.2.B
Investigador
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)
Investigador responsável
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
Concluído
2005/05/01 - 2008/04/30 MYDDAS
POSC/EIA/59154/2004
POSC/EIA/59154/2004
Investigador
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
Investigador
1995/01/01 - 1998/03/31 PROLOPPE: Programação em Lógica Paralela com Extensões
Praxis 3/3.1/TIT/24/94
Bolseiro de Investigação
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Concluído
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
Investigador
Produções

Publicações

Artigo em conferência
  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.
Artigo em revista
  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
Capítulo de livro
  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". editado por 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". editado por 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". editado por Dobnikar, A.; Lotric, U.; Ster, B., 342-352. 2011.
    10.1007/978-3-642-20267-4_36
Livro
  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
Tese / Dissertação
  1. Santos, Luís André Brísio Marques dos. "Implementation and evaluation of a spam classifier based on the dynamic behaviour of immune cells". Mestrado, 2008. http://hdl.handle.net/10216/64160.

Outros

Outra produção
  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
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2017/10/26 - 2023/12/06 Establishing Secure and Privacy Preserving Digital Identity With Self-Sovereign Identity
Orientador de Muhammad Shehu Abubakar-Sadiq
 MAPI - Programa Doutoral em Ciência de Computadores (Doutoramento)
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
Orientador
 MERSI (Mestrado)
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
Orientador
 MSI - Mestrado em Segurança Informática (Mestrado)
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
Orientador
 Mestrado Integrado em Engenharia de Redes e Sistemas Informáticos (Mestrado)
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
Coorientador
 MERSI (Mestrado)
Faculdade de Ciências da Universidade do Porto (FCUP), Portugal
2021/09/01 - 2022/07/21 Optimized Detector of Manipulated Media Content
Coorientador
 MSI - Mestrado em Segurança Informática (Mestrado)
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
Orientador
 Mestrado em Ciência de Computadores (Mestrado)
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
Orientador
 PD::MAPi (Doutoramento)
Universidade do Porto Departamento de Ciência de Computadores, Portugal
2018/01/02 - 2018/12/06 Authentication modules for Keycloak authentication server
Orientador
 Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2017/01/02 - 2017/12/05 A Web Anonymizer Platform for Datasets with Personal Information
Orientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2017/01/16 - 2017/11 A flexible framework for Rogue Access Point detection
Coorientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
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
Orientador
 Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2015/10/06 - 2016/12/13 Artur Jorge Rosendo Ferreira
Orientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
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
Orientador
 Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2016/01/02 - 2016/11/28 Biometrics on Mobile Devices Using the Heartbeat
Coorientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2016/01/02 - 2016/11/17 Levantamento de problemas de segurança nas redes sem fios
Coorientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2016/01/02 - 2016/07/12 Secure VoIP communications
Orientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
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
Orientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2015/01/02 - 2015/12/07 Handwritten signature authentication using motion detection and QR Codes
Orientador
 Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014/07/02 - 2014/07/31 Visualization of passively extracted HL7 production metrics
Orientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2013/10/06 - 2014/07/30 USB Connection Vulnerabilities on Android smartphones
Orientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
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
Orientador
 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
Orientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2013/01/02 - 2013/10/25 (in)Segurança na Prescrição electrónica
Orientador
 Informática Médica (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2012/10/06 - 2012/12/12 On the Integrity and Trustworthiness of web produced data
Orientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2012/01/02 - 2012/12/11 Android In-Room Tablet
Coorientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
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
Orientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
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
Orientador
 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
Coorientador
 Informática Médica (Mestrado)
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'
Coorientador
 Informática Médica (Mestrado)
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''
Orientador
 PDCC (Doutoramento)
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
Coorientador
 Informática Médica (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2007/10/31 - 2010/12 Patient empowerment. Information and privacy mechanisms for the 21st century
Orientador
 Informática Médica (Mestrado)
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
Orientador
 Informática Médica (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2008/10/02 - 2009/11/25 A Voice Based Telephone Interface for Email}
Coorientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2008 - 2008/12/05 Digital Identity - Identity, Security and Privacy
Orientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
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
Orientador
 Bioinformática (Mestrado)
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
Orientador
 Informática (Mestrado)
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
Orientador
 Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2000/10/01 - 2001/10/01 Centralized Administration of Groups of Unix Systems
Orientador
Universidade do Porto Departamento de Ciência de Computadores, Portugal
Distinções

Prémio

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

Outra distinção

2008 Sapo Summerbits