Aurora, Andorra-I and Friends on the Sun. - Vítor Santos Costa; Manuel Eduardo Correia; Fernando M. A. Silva (Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994)

The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. - Manuel Eduardo Correia; Fernando M. A. Silva; Vítor Santos Costa (ILPS, 1997)

DAOS - Scalable And-Or Parallelism. - Luís Fernando Castro; Vítor Santos Costa; Cláudio F. R. Geyer; Fernando M. A. Silva; Patrícia Kayser Vargas; Manuel Eduardo Correia (Euro-Par, 1999)

IAP for dummies: The YAP Design. - Manuel Eduardo Correia; Vítor Santos Costa (Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, 1999)

Storage and retrieval on P2P networks: A DHT based protocol. - Sergio Bessa; Manuel Eduardo Correia; Pedro Brandão (ISCC, 2007)

TAT-NIDS: An Immune-Based Anomaly Detection Architecture for Network Intrusion Detection. - Mário Antunes 002; Manuel Eduardo Correia (IWPACBB, 2008)

Towards an Immune-inspired Temporal Anomaly Detection Algorithm based on Tunable Activation Thresholds. - Mário João Gonçalves Antunes; Manuel Eduardo Correia; Jorge Carneiro (BIOSIGNALS, 2009)

An Artificial Immune System for Temporal Anomaly Detection Using Cell Activation Thresholds and Clonal Size Regulation with Homeostasis. - Mário João Gonçalves Antunes; Manuel Eduardo Correia (IJCBS, 2009)

Self Tolerance by Tuning T-Cell Activation: An Artificial Immune System for Anomaly Detection. - Mário João Gonçalves Antunes; Manuel Eduardo Correia (BIONETICS, 2010)

A Hybrid AIS-SVM Ensemble Approach for Text Classification. - Mário Antunes 002; Catarina Silva 001; Bernardete Ribeiro; Manuel Eduardo Correia (ICANNGA (2), 2011)

Tunable Immune Detectors for Behaviour-Based Network Intrusion Detection. - Mário Antunes 002; Manuel Eduardo Correia (ICARIS, 2011)

Leveraging identity management interoperability in eHealth. - Maria João Campos; Manuel Eduardo Correia; Luis Antunes 002 (ICCST, 2011)

A Mobile Based Authorization Mechanism for Patient Managed Role Based Access Control. - Cátia Santos-Pereira; Alexandre B. Augusto; Manuel Eduardo Correia; Ana Ferreira 001; Ricardo João Cruz Correia (ITBAM, 2012)

OFELIA - A Secure Mobile Attribute Aggregation Infrastructure for User-Centric Identity Management. - Alexandre B. Augusto; Manuel Eduardo Correia (SEC, 2012)

Physician's awareness of e-prescribing security risks. - Hugo Rodrigues; Luis Filipe Coelho Antunes; Cristina Costa-Santos; Manuel Eduardo Correia; Tiago Miguel Pinho; Hilario Gil Magalhaes (CBMS, 2013)

A secure RBAC mobile agent access control model for healthcare institutions. - Cátia Santos-Pereira; Alexandre B. Augusto; Ricardo João Cruz Correia; Manuel Eduardo Correia (CBMS, 2013)

A Secure RBAC Mobile Agent Model for Healthcare Institutions - Preliminary Study. - Cátia Santos-Pereira; Alexandre B. Augusto; Ricardo João Cruz Correia; Manuel Eduardo Correia (ITBAM, 2013)

USB Connection Vulnerabilities on Android Smartphones: Default and Vendors' Customizations. - André Pereira; Manuel Eduardo Correia; Pedro Brandão (Communications and Multimedia Security, 2014)

Envisioning secure and usable access control for patients. - Ana Ferreira 001; Gabriele Lenzini; Cátia Santos-Pereira; Alexandre B. Augusto; Manuel Eduardo Correia (SeGAH, 2014)

Visualization of Passively Extracted HL7 Production Metrics. - Ricardo Ferreira 002; Manuel Eduardo Correia; Francisco Nuno Rocha Goncalves; Ricardo João Cruz Correia (HEALTHINF, 2015)

Digital Signatures Workflows in Alfresco. - Patrícia R. Sousa; Pedro Faria; Manuel Eduardo Correia; João S. Resende; Luis Antunes 002 (EGOVIS, 2016)

Reputation-Based Security System For Edge Computing. - Francis N. Nwebonyi; Rolando Martins; Manuel Eduardo Correia (ARES, 2018)

Are Deep Learning Methods Ready for Prime Time in Fingerprints Minutiae Extraction? - Ana Rebelo; Tiago Oliveira 004; Manuel Eduardo Correia; Jaime S. Cardoso 001 (CIARP, 2018)

A Flexible Framework for Rogue Access Point Detection. - Ricardo Gonçalves; Manuel Eduardo Correia; Pedro Brandão (ICETE (2), 2018)

On the Interoperability of European National Identity Cards. - Abubakar-Sadiq Shehu; António Pinto; Manuel Eduardo Correia (ISAmI, 2018)

HS.Register - An Audit-Trail Tool to Respond to the General Data Protection Regulation (GDPR). - Duarte Nuno Gonçalves-Ferreira; Mariana Leite; Cátia Santos-Pereira; Manuel Eduardo Correia; Luis Filipe Coelho Antunes; Ricardo Cruz-Correia (MIE, 2018)

Security and Fairness in IoT Based e-Health System: A Case Study of Mobile Edge-Clouds. - Francis N. Nwebonyi; Rolando Martins; Manuel Eduardo Correia (WiMob, 2019)

Iris: Secure reliable live-streaming with opportunistic mobile edge cloud offloading. - Rolando Martins; Manuel Eduardo Correia; Luís Antunes 002; Fernando Silva 001 (Future Gener. Comput. Syst., 2019)

Reputation based approach for improved fairness and robustness in P2P protocols. - Francis N. Nwebonyi; Rolando Martins; Manuel Eduardo Correia (Peer-to-Peer Netw. Appl., 2019)

Illegitimate HIS Access by Healthcare Professionals Detection System Applying an Audit Trail-based Model. - Liliana Sá-Correia; Manuel Eduardo Correia; Ricardo Cruz-Correia (HEALTHINF, 2020)

Providing Secured Access Delegation in Identity Management Systems. - Abubakar-Sadiq Shehu; António Pinto; Manuel Eduardo Correia (ICETE (2), 2020)

Container Hardening Through Automated Seccomp Profiling. - Nuno Lopes; Rolando Martins; Manuel Eduardo Correia; Sérgio Serrano; Francisco Nunes (WOC@Middleware, 2020)

Profiling IT Security and Interoperability in Brazilian Health Organisations From a Business Perspective. - Rui Rijo; Ricardo Martinho 001; Adicinéia Aparecida de Oliveira; Domingos Alves; Zilma Silveira Nogueira Reis; Cátia Santos-Pereira; Manuel Eduardo Correia; Luís Antunes 002; Ricardo João Cruz Correia (Int. J. E Health Medical Commun., 2020)

Forensic Analysis of Tampered Digital Photos. - Sara Ferreira; Mário Antunes 002; Manuel Eduardo Correia (CIARP, 2021)

A Dataset of Photos and Videos for Digital Forensics Analysis Using Machine Learning Processing. - Sara Ferreira; Mário Antunes 002; Manuel Eduardo Correia (Data, 2021)

Exposing Manipulated Photos and Videos in Digital Forensics Analysis. - Sara Ferreira; Mário Antunes 002; Manuel Eduardo Correia (J. Imaging, 2021)

A Decentralised Real Estate Transfer Verification based on Self-Sovereign Identity and Smart Contracts. - Abubakar-Sadiq Shehu; António Pinto; Manuel Eduardo Correia (SECRYPT, 2022)

Digital Forensics for the Detection of Deepfake Image Manipulations. - Sara Ferreira; Mário Antunes 002; Manuel Eduardo Correia (ERCIM News, 2022)

Skynet: a Cyber-Aware Intrusion Tolerant Overseer. - Tadeu Freitas; João Soares; Manuel Eduardo Correia; Rolando Martins (DSN-S, 2023)

SPIDVerify: A Secure and Privacy-Preserving Decentralised Identity Verification Framework. - Abubakar-Sadiq Shehu; António Pinto; Manuel Eduardo Correia (SmartNets, 2023)

HAL 9000: Skynet's Risk Manager. - Tadeu Freitas; Mario Tasso Ribeiro Serra Neto; Inês Dutra; João Soares; Manuel Eduardo Correia; Rolando Martins (CoRR, 2023)

Deterministic or probabilistic? - A survey on Byzantine fault tolerant state machine replication. - Tadeu Freitas; João Soares; Manuel Eduardo Correia; Rolando Martins (Comput. Secur., 2023)

HAL 9000: a Risk Manager for ITSs. - Tadeu Freitas; Carlos Novo; João Soares; Inês Dutra; Manuel Eduardo Correia; Behnam Shariati; Rolando Martins (TPS-ISA, 2024)

EVSOAR: Security Orchestration, Automation and Response via EV Charging Stations. - Tadeu Freitas; Erick Silva; Rehana Yasmin; Ali Shoker; Manuel Eduardo Correia; Rolando Martins; Paulo Jorge Esteves Veríssimo (CoRR, 2025)

A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 with New Scoring and Data Sources. - Tadeu Freitas; Carlos Novo; Inês Dutra; João Soares; Manuel Eduardo Correia; Benham Shariati; Rolando Martins (CoRR, 2025)