Manuel Eduardo Carvalho Duarte Correia


AuthID: R-000-A3B

Confirmed Publications: 68



1
TITLE: A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 With New Scoring and Data Sources  Full Text
AUTHORS: Freitas, Tadeu; Novo, Carlos; Dutra, Ines ; Soares, Joao; Correia, Manuel E. ; Shariati, Benham; Martins, Rolando ;
PUBLISHED: 2025, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 55, ISSUE: 12
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
2
TITLE: EVSOAR: Security Orchestration, Automation and Response via EV Charging Stations
AUTHORS: Tadeu Freitas; Erick Silva; Rehana Yasmin; Ali Shoker; Manuel Eduardo Correia ; Rolando Martins ; Paulo Jorge Esteves Veríssimo;
PUBLISHED: 2025, SOURCE: VTC2025-Spring
INDEXED IN: Scopus DBLP CrossRef: 2 Unpaywall
3
TITLE: LegionITS: A Federated Intrusion-Tolerant System Architecture
AUTHORS: Tadeu Freitas; Carlos Novo; Manuel Eduardo Correia ; Rolando Martins;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2512.14242
INDEXED IN: DBLP
IN MY: DBLP
4
TITLE: HAL 9000: a Risk Manager for ITSs
AUTHORS: Freitas, Tadeu ; Novo, Carlos; Soares, Joao ; Dutra, Ines ; Correia, Manuel E. ; Shariati, Behnam; Martins, Rolando ;
PUBLISHED: 2024, SOURCE: 6th International Conference on Trust Privacy and Security in Intelligent Systems and Applications in 2024 IEEE 6TH INTERNATIONAL CONFERENCE ON TRUST, PRIVACY AND SECURITY IN INTELLIGENT SYSTEMS, AND APPLICATIONS, TPS-ISA
INDEXED IN: Scopus WOS DBLP CrossRef
5
TITLE: Deterministic or probabilistic?- A survey on Byzantine fault tolerant state machine replication
AUTHORS: Freitas, Tadeu ; Soares, Joao ; Correia, Manuel E. ; Martins, Rolando ;
PUBLISHED: 2023, SOURCE: COMPUTERS & SECURITY, VOLUME: 129
INDEXED IN: Scopus WOS DBLP CrossRef: 5
6
TITLE: Skynet: a Cyber-Aware Intrusion Tolerant Overseer
AUTHORS: Freitas, Tadeu ; Soares, Joao ; Correia, Manuel E. ; Martins, Rolando ;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOLUME, DSN-S
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Unpaywall
7
TITLE: SPIDVerify: A Secure and Privacy-Preserving Decentralised Identity Verification Framework
AUTHORS: Abubakar Sadiq Shehu; António Pinto ; Manuel Eduardo Correia ;
PUBLISHED: 2023, SOURCE: SmartNets
INDEXED IN: Scopus DBLP CrossRef: 2 Unpaywall
8
TITLE: A Decentralised Real Estate Transfer Verification based on Self-Sovereign Identity and Smart Contracts
AUTHORS: Shehu, Abubakar Sadiq ; Pinto, Antonio ; Correia, Manuel E. ;
PUBLISHED: 2022, SOURCE: 19th International Conference on Security and Cryptography (SECRYPT) in SECRYPT : PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY, VOLUME: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 1
9
TITLE: Digital Forensics for the Detection of Deepfake Image Manipulations
AUTHORS: Ferreira, Sara; Antunes, Mario ; Correia, Manuel E. ;
PUBLISHED: 2022, SOURCE: ERCIM NEWS, VOLUME: 2022, ISSUE: 129
INDEXED IN: WOS DBLP
10
TITLE: A Dataset of Photos and Videos for Digital Forensics Analysis Using Machine Learning Processing
AUTHORS: Ferreira, S; Antunes, M ; Correia, ME ;
PUBLISHED: 2021, SOURCE: DATA, VOLUME: 6, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 18
Page 1 of 7. Total results: 68.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service