Manuel Eduardo Carvalho Duarte Correia


AuthID: R-000-A3B

Confirmed Publications: 65



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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
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: CoRR, VOLUME: abs/2503.16984
INDEXED IN: DBLP
IN MY: ORCID | DBLP
3
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
IN MY: ORCID | DBLP
4
5
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
IN MY: ORCID | DBLP | CIÊNCIAVITAE
6
TITLE: SPIDVerify: A Secure and Privacy-Preserving Decentralised Identity Verification Framework
AUTHORS: Abubakar Sadiq Shehu; António Pinto ; Manuel Eduardo Correia ;
PUBLISHED: 2023, SOURCE: 2023 International Conference on Smart Applications, Communications and Networking, SmartNets 2023 in International Conference on Smart Applications, Communications and Networking, SmartNets 2023, Istanbul, Turkey, July 25-27, 2023
INDEXED IN: Scopus DBLP CrossRef: 2 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
7
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
IN MY: ORCID | DBLP | CIÊNCIAVITAE
8
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
IN MY: ORCID | DBLP | CIÊNCIAVITAE
9
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: WOS DBLP CrossRef: 17
IN MY: ORCID | DBLP | CIÊNCIAVITAE
10
TITLE: Exposing Manipulated Photos and Videos in Digital Forensics Analysis
AUTHORS: Ferreira, S; Antunes, M ; Correia, ME ;
PUBLISHED: 2021, SOURCE: JOURNAL OF IMAGING, VOLUME: 7, ISSUE: 7
INDEXED IN: WOS DBLP CrossRef: 24
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 1 of 7. Total results: 65.

footer slogan

Useful Links

Get Help

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