![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Manuel Eduardo Correia
Person information
- affiliation: University of Porto, Portugal
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j6]Tadeu Freitas
, João Soares
, Manuel Eduardo Correia
, Rolando Martins
:
Deterministic or probabilistic? - A survey on Byzantine fault tolerant state machine replication. Comput. Secur. 129: 103200 (2023) - [c34]Tadeu Freitas, João Soares, Manuel Eduardo Correia
, Rolando Martins:
Skynet: a Cyber-Aware Intrusion Tolerant Overseer. DSN-S 2023: 111-116 - [c33]Abubakar-Sadiq Shehu, António Pinto, Manuel Eduardo Correia
:
SPIDVerify: A Secure and Privacy-Preserving Decentralised Identity Verification Framework. SmartNets 2023: 1-7 - [i3]Tadeu Freitas, Mario Tasso Ribeiro Serra Neto, Inês Dutra, João Soares, Manuel Eduardo Correia, Rolando Martins:
HAL 9000: Skynet's Risk Manager. CoRR abs/2311.09449 (2023) - 2022
- [c32]Abubakar-Sadiq Shehu, António Pinto
, Manuel Eduardo Correia
:
A Decentralised Real Estate Transfer Verification based on Self-Sovereign Identity and Smart Contracts. SECRYPT 2022: 469-476 - [i2]Abubakar-Sadiq Shehu, António Pinto, Manuel Eduardo Correia:
A Decentralised Real Estate Transfer Verification Based on Self-Sovereign Identity and Smart Contracts. CoRR abs/2207.04459 (2022) - [i1]Sara Ferreira, Mário Antunes, Manuel Eduardo Correia:
Digital Forensics for the Detection of Deepfake Image Manipulations. ERCIM News 2022(129): 0 (2022) - 2021
- [j5]Sara Ferreira
, Mário Antunes
, Manuel Eduardo Correia
:
A Dataset of Photos and Videos for Digital Forensics Analysis Using Machine Learning Processing. Data 6(8): 87 (2021) - [j4]Sara Ferreira
, Mário Antunes
, Manuel Eduardo Correia
:
Exposing Manipulated Photos and Videos in Digital Forensics Analysis. J. Imaging 7(7): 102 (2021) - [c31]Sara Ferreira
, Mário Antunes
, Manuel Eduardo Correia
:
Forensic Analysis of Tampered Digital Photos. CIARP 2021: 461-470 - 2020
- [j3]Rui Rijo
, Ricardo Martinho
, Adicinéia Aparecida Oliveira, Domingos Alves
, Zilma Silveira Nogueira Reis
, Cátia Santos-Pereira, Manuel Eduardo Correia
, Luís Antunes, Ricardo João Cruz Correia
:
Profiling IT Security and Interoperability in Brazilian Health Organisations From a Business Perspective. Int. J. E Health Medical Commun. 11(2): 96-114 (2020) - [c30]Liliana Sá-Correia, Manuel Eduardo Correia
, Ricardo Cruz-Correia:
Illegitimate HIS Access by Healthcare Professionals Detection System Applying an Audit Trail-based Model. HEALTHINF 2020: 539-546 - [c29]Abubakar-Sadiq Shehu, António Pinto
, Manuel Eduardo Correia
:
Providing Secured Access Delegation in Identity Management Systems. ICETE (2) 2020: 638-644 - [c28]Nuno Lopes, Rolando Martins
, Manuel Eduardo Correia
, Sérgio Serrano, Francisco Nunes:
Container Hardening Through Automated Seccomp Profiling. WOC@Middleware 2020: 31-36
2010 – 2019
- 2019
- [j2]Rolando Martins
, Manuel Eduardo Correia
, Luís Antunes
, Fernando Silva
:
Iris: Secure reliable live-streaming with opportunistic mobile edge cloud offloading. Future Gener. Comput. Syst. 101: 272-292 (2019) - [j1]Francis N. Nwebonyi
, Rolando Martins
, Manuel Eduardo Correia
:
Reputation based approach for improved fairness and robustness in P2P protocols. Peer-to-Peer Netw. Appl. 12(4): 951-968 (2019) - [c27]Francis N. Nwebonyi
, Rolando Martins
, Manuel Eduardo Correia
:
Security and Fairness in IoT Based e-Health System: A Case Study of Mobile Edge-Clouds. WiMob 2019: 318-323 - 2018
- [c26]Francis N. Nwebonyi
, Rolando Martins
, Manuel Eduardo Correia
:
Reputation-Based Security System For Edge Computing. ARES 2018: 39:1-39:8 - [c25]Ana Rebelo
, Tiago Oliveira
, Manuel Eduardo Correia
, Jaime S. Cardoso
:
Are Deep Learning Methods Ready for Prime Time in Fingerprints Minutiae Extraction? CIARP 2018: 628-636 - [c24]Ricardo Gonçalves, Manuel Eduardo Correia, Pedro Brandão:
A Flexible Framework for Rogue Access Point Detection. ICETE (2) 2018: 632-637 - [c23]Abubakar-Sadiq Shehu, António Pinto
, Manuel Eduardo Correia
:
On the Interoperability of European National Identity Cards. ISAmI 2018: 338-348 - [c22]Duarte Nuno Gonçalves-Ferreira, Mariana Leite, Cátia Santos-Pereira
, Manuel Eduardo Correia
, Luis Filipe Coelho Antunes, Ricardo Cruz-Correia
:
HS.Register - An Audit-Trail Tool to Respond to the General Data Protection Regulation (GDPR). MIE 2018: 81-85 - 2016
- [c21]Patrícia R. Sousa
, Pedro Faria, Manuel Eduardo Correia
, João S. Resende
, Luis Antunes:
Digital Signatures Workflows in Alfresco. EGOVIS 2016: 304-318 - 2015
- [c20]Ricardo Ferreira, Manuel Eduardo Correia, Francisco Nuno Rocha Goncalves, Ricardo João Cruz Correia:
Visualization of Passively Extracted HL7 Production Metrics. HEALTHINF 2015: 423-430 - 2014
- [c19]André Pereira, Manuel Eduardo Correia
, Pedro Brandão
:
USB Connection Vulnerabilities on Android Smartphones: Default and Vendors' Customizations. Communications and Multimedia Security 2014: 19-32 - [c18]Ana Ferreira
, Gabriele Lenzini, Cátia Santos-Pereira
, Alexandre B. Augusto, Manuel Eduardo Correia
:
Envisioning secure and usable access control for patients. SeGAH 2014: 1-8 - 2013
- [c17]Cátia Santos-Pereira
, Alexandre B. Augusto, Ricardo João Cruz Correia
, Manuel Eduardo Correia
:
A secure RBAC mobile agent access control model for healthcare institutions. CBMS 2013: 349-354 - [c16]Hugo Rodrigues, Luis Filipe Coelho Antunes, Cristina Costa-Santos, Manuel Eduardo Correia
, Tiago Miguel Pinho, Hilario Gil Magalhaes:
Physician's awareness of e-prescribing security risks. CBMS 2013: 489-492 - [c15]Cátia Santos-Pereira
, Alexandre B. Augusto, Ricardo João Cruz Correia
, Manuel Eduardo Correia
:
A Secure RBAC Mobile Agent Model for Healthcare Institutions - Preliminary Study. ITBAM 2013: 108-111 - 2012
- [c14]Cátia Santos-Pereira
, Alexandre B. Augusto, Manuel Eduardo Correia
, Ana Ferreira
, Ricardo João Cruz Correia
:
A Mobile Based Authorization Mechanism for Patient Managed Role Based Access Control. ITBAM 2012: 54-68 - [c13]Alexandre B. Augusto, Manuel Eduardo Correia
:
OFELIA - A Secure Mobile Attribute Aggregation Infrastructure for User-Centric Identity Management. SEC 2012: 61-74 - 2011
- [c12]Mário Antunes
, Catarina Silva
, Bernardete Ribeiro
, Manuel Eduardo Correia
:
A Hybrid AIS-SVM Ensemble Approach for Text Classification. ICANNGA (2) 2011: 342-352 - [c11]Mário Antunes
, Manuel Eduardo Correia
:
Tunable Immune Detectors for Behaviour-Based Network Intrusion Detection. ICARIS 2011: 334-347 - [c10]Maria João Campos, Manuel Eduardo Correia
, Luis Antunes:
Leveraging identity management interoperability in eHealth. ICCST 2011: 1-8 - 2010
- [c9]Mário João Gonçalves Antunes
, Manuel Eduardo Correia
:
Self Tolerance by Tuning T-Cell Activation: An Artificial Immune System for Anomaly Detection. BIONETICS 2010: 1-15
2000 – 2009
- 2009
- [c8]Mário João Gonçalves Antunes, Manuel Eduardo Correia, Jorge Carneiro:
Towards an Immune-inspired Temporal Anomaly Detection Algorithm based on Tunable Activation Thresholds. BIOSIGNALS 2009: 357-362 - [c7]Mário João Gonçalves Antunes
, Manuel Eduardo Correia
:
An Artificial Immune System for Temporal Anomaly Detection Using Cell Activation Thresholds and Clonal Size Regulation with Homeostasis. IJCBS 2009: 323-326 - 2008
- [c6]Mário Antunes
, Manuel Eduardo Correia
:
TAT-NIDS: An Immune-Based Anomaly Detection Architecture for Network Intrusion Detection. IWPACBB 2008: 60-67 - 2007
- [c5]Sergio Bessa, Manuel Eduardo Correia
, Pedro Brandão
:
Storage and retrieval on P2P networks: A DHT based protocol. ISCC 2007: 623-629
1990 – 1999
- 1999
- [c4]Luís Fernando Castro, Vítor Santos Costa
, Cláudio F. R. Geyer, Fernando M. A. Silva
, Patrícia Kayser Vargas
, Manuel Eduardo Correia
:
DAOS - Scalable And-Or Parallelism. Euro-Par 1999: 899-908 - [c3]Manuel Eduardo Correia
, Vítor Santos Costa
:
IAP for dummies: The YAP Design. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP 1999: 106-121 - 1997
- [c2]Manuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa:
The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. ILPS 1997: 117-131 - 1994
- [c1]Vítor Santos Costa, Manuel Eduardo Correia, Fernando M. A. Silva:
Aurora, Andorra-I and Friends on the Sun. Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 32-41
Coauthor Index
aka: Mário João Gonçalves Antunes
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint