arrow
Back
M

Miguel Correia

universidade de lisboa

41H-index
360Paper Count
6.3KCitation Count
Published Papers 38
Publication Date
Cyber Attacks on Commercial Drones: A Review
err2025-01-01
err2
errOAAI
errBranco, Bruno; Silvestre Serra Silva, Jose; Correia, Miguel
errShare
errSave
FingerCI: Writing industrial process specifications from network traffic
err2024-12-01
err0
PREAI
errApolinario, Filipe; Escravana, Nelson; Herve, Eric; Pardal, Miguel L.; Correia, Miguel
errShare
errSave
Hephaestus: Modeling, Analysis, and Performance Evaluation of Cross-Chain Transactions
err2024-06-01
err6
errOAAI
errBelchior, Rafael; Somogyvari, Peter; Pfannschmidt, Jonas; Vasconcelos, Andre; Correia, Miguel
errShare
errSave
MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service
err2023-04-01
err5
PREAI
errVaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel
errShare
errSave
errShare
errSave
μVerum: Intrusion Recovery for Microservice Applications
err2023-01-01
err0
errOAAI
errMatos, David R.; Pardal, Miguel L.; Silva, Antonio Rito; Correia, Miguel
errShare
errSave
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
err2023-01-01
err0
errOAAI
errVaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel
errShare
errSave
Integrating an academic management system with blockchain: A case study
err2022-12-01
err4
errOAAI
errGuerreiro, Sergio; Ferreira, Joao F.; Fonseca, Tiago; Correia, Miguel
errShare
errSave
Omega: A Secure Event Ordering Service for the Edge
err2022-09-01
err1
PREAI
errCorreia, Claudio; Correia, Miguel; Rodrigues, Luis
errShare
errSave
HERMES: Fault-tolerant middleware for blockchain interoperability
err2022-04-01
err22
errOAAI
errBelchior, Rafael; Vasconcelos, Andre; Correia, Miguel; Hardjono, Thomas
errShare
errSave
SRX-Secure Data Backup and Recovery for SGX Applications
err2022-01-01
err2
errOAAI
errAndrade, Daniel; Silva, Joao; Correia, Miguel
errShare
errSave
A Survey on Blockchain Interoperability: Past, Present, and Future Trends
err2021-10-04
err224
errOAAI
errBelchior, Rafael; Vasconcelos, Andre; Guerreiro, Sergio; Correia, Miguel
errShare
errSave
errShare
errSave
Fireplug: Efficient and Robust Geo-Replication of Graph Databases
err2020-08-01
err4
PREAI
errNeiheiser, Ray; Rech, Luciana; Bravo, Manuel; Rodrigues, Luis; Correia, Miguel
errShare
errSave
SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS
err2019-09-01
err18
PREAI
errMedeiros, Iberia; Beatriz, Miguel; Neves, Nuno; Correia, Miguel
errShare
errSave
errShare
errSave