Manuel Eduardo Correia

49 papers B 4C 4Misc 1Journal 13Unranked 27

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 With New Scoring and Data Sources. Softw. Pract. Exp. Tadeu Freitas, Carlos Novo, Inês Dutra, João Soares, Manuel Eduardo Correia, Benham Shariati, Rolando Martins
2025	J	`jnl`	A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 with New Scoring and Data Sources. CoRR Tadeu Freitas, Carlos Novo, Inês Dutra, João Soares, Manuel Eduardo Correia, Benham Shariati, Rolando Martins
2025	—	`conf`	EVSOAR: Security Orchestration, Automation and Response via EV Charging Stations. VTC2025-Spring Tadeu Freitas, Erick Silva, Rehana Yasmin, Ali Shoker, Manuel Eduardo Correia, Rolando Martins, Paulo Jorge Esteves Veríssimo
2025	J	`jnl`	EVSOAR: Security Orchestration, Automation and Response via EV Charging Stations. CoRR Tadeu Freitas, Erick Silva, Rehana Yasmin, Ali Shoker, Manuel Eduardo Correia, Rolando Martins, Paulo Jorge Esteves Veríssimo
2025	J	`jnl`	LegionITS: A Federated Intrusion-Tolerant System Architecture. CoRR Tadeu Freitas, Carlos Novo, Manuel Eduardo Correia, Rolando Martins
2024	—	`conf`	HAL 9000: a Risk Manager for ITSs. TPS-ISA Tadeu Freitas, Carlos Novo, João Soares, Inês Dutra, Manuel Eduardo Correia, Behnam Shariati, Rolando Martins
2023	J	`jnl`	Deterministic or probabilistic? - A survey on Byzantine fault tolerant state machine replication. Comput. Secur. Tadeu Freitas, João Soares, Manuel Eduardo Correia, Rolando Martins
2023	J	`jnl`	HAL 9000: Skynet's Risk Manager. CoRR Tadeu Freitas, Mario Tasso Ribeiro Serra Neto, Inês Dutra, João Soares, Manuel Eduardo Correia, Rolando Martins
2023	—	`conf`	SPIDVerify: A Secure and Privacy-Preserving Decentralised Identity Verification Framework. SmartNets Abubakar-Sadiq Shehu, António Pinto, Manuel Eduardo Correia
2023	—	`conf`	Skynet: a Cyber-Aware Intrusion Tolerant Overseer. DSN-S Tadeu Freitas, João Soares, Manuel Eduardo Correia, Rolando Martins
2022	J	`jnl`	A Decentralised Real Estate Transfer Verification Based on Self-Sovereign Identity and Smart Contracts. CoRR Abubakar-Sadiq Shehu, António Pinto, Manuel Eduardo Correia
2022	C	`conf`	A Decentralised Real Estate Transfer Verification based on Self-Sovereign Identity and Smart Contracts. SECRYPT Abubakar-Sadiq Shehu, António Pinto, Manuel Eduardo Correia
2022	J	`jnl`	Digital Forensics for the Detection of Deepfake Image Manipulations. ERCIM News Sara Ferreira, Mário Antunes, Manuel Eduardo Correia
2021	J	`jnl`	A Dataset of Photos and Videos for Digital Forensics Analysis Using Machine Learning Processing. Data Sara Ferreira, Mário Antunes, Manuel Eduardo Correia
2021	J	`jnl`	Exposing Manipulated Photos and Videos in Digital Forensics Analysis. J. Imaging Sara Ferreira, Mário Antunes, Manuel Eduardo Correia
2021	C	`conf`	Forensic Analysis of Tampered Digital Photos. CIARP Sara Ferreira, Mário Antunes, Manuel Eduardo Correia
2020	—	`conf`	Container Hardening Through Automated Seccomp Profiling. WOC@Middleware Nuno Lopes, Rolando Martins, Manuel Eduardo Correia, Sérgio Serrano, Francisco Nunes
2020	—	`conf`	Illegitimate HIS Access by Healthcare Professionals Detection System Applying an Audit Trail-based Model. HEALTHINF Liliana Sá-Correia, Manuel Eduardo Correia, Ricardo Cruz-Correia
2020	J	`jnl`	Profiling IT Security and Interoperability in Brazilian Health Organisations From a Business Perspective. Int. J. E Health Medical Commun. Rui Rijo, Ricardo Martinho, Adicinéia Aparecida de Oliveira, Domingos Alves, Zilma Silveira Nogueira Reis, Cátia Santos-Pereira, Manuel Eduardo Correia, Luís Antunes, Ricardo João Cruz Correia
2020	—	`conf`	Providing Secured Access Delegation in Identity Management Systems. ICETE (2) Abubakar-Sadiq Shehu, António Pinto, Manuel Eduardo Correia
2019	J	`jnl`	Iris: Secure reliable live-streaming with opportunistic mobile edge cloud offloading. Future Gener. Comput. Syst. Rolando Martins, Manuel Eduardo Correia, Luís Antunes, Fernando Silva
2019	J	`jnl`	Reputation based approach for improved fairness and robustness in P2P protocols. Peer-to-Peer Netw. Appl. Francis N. Nwebonyi, Rolando Martins, Manuel Eduardo Correia
2019	B	`conf`	Security and Fairness in IoT Based e-Health System: A Case Study of Mobile Edge-Clouds. WiMob Francis N. Nwebonyi, Rolando Martins, Manuel Eduardo Correia
2018	—	`conf`	A Flexible Framework for Rogue Access Point Detection. ICETE (2) Ricardo Gonçalves, Manuel Eduardo Correia, Pedro Brandão
2018	C	`conf`	Are Deep Learning Methods Ready for Prime Time in Fingerprints Minutiae Extraction? CIARP Ana Rebelo, Tiago Oliveira, Manuel Eduardo Correia, Jaime S. Cardoso
2018	—	`conf`	HS.Register - An Audit-Trail Tool to Respond to the General Data Protection Regulation (GDPR). MIE Duarte Nuno Gonçalves-Ferreira, Mariana Leite, Cátia Santos-Pereira, Manuel Eduardo Correia, Luis Filipe Coelho Antunes, Ricardo Cruz-Correia
2018	—	`conf`	On the Interoperability of European National Identity Cards. ISAmI Abubakar-Sadiq Shehu, António Pinto, Manuel Eduardo Correia
2018	B	`conf`	Reputation-Based Security System For Edge Computing. ARES Francis N. Nwebonyi, Rolando Martins, Manuel Eduardo Correia
2016	—	`conf`	Digital Signatures Workflows in Alfresco. EGOVIS Patrícia R. Sousa, Pedro Faria, Manuel Eduardo Correia, João S. Resende, Luis Antunes
2015	—	`conf`	Visualization of Passively Extracted HL7 Production Metrics. HEALTHINF Ricardo Ferreira, Manuel Eduardo Correia, Francisco Nuno Rocha Goncalves, Ricardo João Cruz Correia
2014	—	`conf`	Envisioning secure and usable access control for patients. SeGAH Ana Ferreira, Gabriele Lenzini, Cátia Santos-Pereira, Alexandre B. Augusto, Manuel Eduardo Correia
2014	—	`conf`	USB Connection Vulnerabilities on Android Smartphones: Default and Vendors' Customizations. Communications and Multimedia Security André Pereira, Manuel Eduardo Correia, Pedro Brandão
2013	—	`conf`	A Secure RBAC Mobile Agent Model for Healthcare Institutions - Preliminary Study. ITBAM Cátia Santos-Pereira, Alexandre B. Augusto, Ricardo João Cruz Correia, Manuel Eduardo Correia
2013	B	`conf`	A secure RBAC mobile agent access control model for healthcare institutions. CBMS Cátia Santos-Pereira, Alexandre B. Augusto, Ricardo João Cruz Correia, Manuel Eduardo Correia
2013	B	`conf`	Physician's awareness of e-prescribing security risks. CBMS Hugo Rodrigues, Luis Filipe Coelho Antunes, Cristina Costa-Santos, Manuel Eduardo Correia, Tiago Miguel Pinho, Hilario Gil Magalhaes
2012	—	`conf`	A Mobile Based Authorization Mechanism for Patient Managed Role Based Access Control. ITBAM Cátia Santos-Pereira, Alexandre B. Augusto, Manuel Eduardo Correia, Ana Ferreira, Ricardo João Cruz Correia
2012	Misc	`conf`	OFELIA - A Secure Mobile Attribute Aggregation Infrastructure for User-Centric Identity Management. SEC Alexandre B. Augusto, Manuel Eduardo Correia
2011	—	`conf`	A Hybrid AIS-SVM Ensemble Approach for Text Classification. ICANNGA (2) Mário Antunes, Catarina Silva, Bernardete Ribeiro, Manuel Eduardo Correia
2011	—	`conf`	Leveraging identity management interoperability in eHealth. ICCST Maria João Campos, Manuel Eduardo Correia, Luis Antunes
2011	—	`conf`	Tunable Immune Detectors for Behaviour-Based Network Intrusion Detection. ICARIS Mário Antunes, Manuel Eduardo Correia
2010	—	`conf`	Self Tolerance by Tuning T-Cell Activation: An Artificial Immune System for Anomaly Detection. BIONETICS Mário João Gonçalves Antunes, Manuel Eduardo Correia
2009	—	`conf`	An Artificial Immune System for Temporal Anomaly Detection Using Cell Activation Thresholds and Clonal Size Regulation with Homeostasis. IJCBS Mário João Gonçalves Antunes, Manuel Eduardo Correia
2009	—	`conf`	Towards an Immune-inspired Temporal Anomaly Detection Algorithm based on Tunable Activation Thresholds. BIOSIGNALS Mário João Gonçalves Antunes, Manuel Eduardo Correia, Jorge Carneiro
2008	—	`conf`	TAT-NIDS: An Immune-Based Anomaly Detection Architecture for Network Intrusion Detection. IWPACBB Mário Antunes, Manuel Eduardo Correia
2007	C	`conf`	Storage and retrieval on P2P networks: A DHT based protocol. ISCC Sergio Bessa, Manuel Eduardo Correia, Pedro Brandão
1999	—	`conf`	DAOS - Scalable And-Or Parallelism. Euro-Par Luís Fernando Castro, Vítor Santos Costa, Cláudio F. R. Geyer, Fernando M. A. Silva, Patrícia Kayser Vargas, Manuel Eduardo Correia
1999	—	`conf`	IAP for dummies: The YAP Design. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP Manuel Eduardo Correia, Vítor Santos Costa
1997	—	`conf`	The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. ILPS Manuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa
1994	—	`conf`	Aurora, Andorra-I and Friends on the Sun. Workshop on Design and Impl. of Parallel Logic Programming Systems Vítor Santos Costa, Manuel Eduardo Correia, Fernando M. A. Silva