Miguel Correia

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 113

Top Venues

Publications

Rafael Belchior, Limaris Torres, Jonas Pfannschmidt, André Vasconcelos, Miguel Correia
BUNGEE: Dependable Blockchain Views for Interoperability. Distributed Ledger Technol. Res. Pract. 3 (1) (2024)
Sebastião Sotto-Mayor, Rafael Belchior, Miguel Correia, André Vasconcelos
An Enterprise Architecture Approach to Semantic Blockchain Interoperability. ICEIS (2) (2024)
João Romeiras Amado, Francisco Pereira, David Pissarra, Salvatore Signorello, Miguel Correia, Fernando M. V. Ramos
Peregrine: ML-based Malicious Traffic Detection for Terabit Networks. CoRR (2024)
Rafael Belchior, Peter Somogyvari, Jonas Pfannschmidt, André Vasconcelos, Miguel Correia
Hephaestus: Modeling, Analysis, and Performance Evaluation of Cross-Chain Transactions. IEEE Trans. Reliab. 73 (2) (2024)
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service. IEEE Trans. Cloud Comput. 11 (2) (2023)
Cláudio Correia, Miguel Correia, Luís E. T. Rodrigues
Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge (Extended Version). CoRR (2023)
Cláudio Correia, Rita Prates, Miguel Correia, Luís E. T. Rodrigues
PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems. PRDC (2023)
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning. IEEE Access 11 (2023)
Rafael Belchior, Luke Riley, Thomas Hardjono, André Vasconcelos, Miguel Correia
Do You Need a Distributed Ledger Technology Interoperability Solution? Distributed Ledger Technol. Res. Pract. 2 (1) (2023)
Ricardo Moura, Ricardo Lopes, David R. Matos, Miguel L. Pardal, Miguel Correia
MultiTLS: using multiple and diverse ciphers for stronger secure channels. Comput. Secur. 132 (2023)
Hélio Borges, Daniel Andrade, João Nuno Silva, Miguel Correia
TrustGlass: Human-Computer Trusted Paths with Augmented Reality Smart Glasses. TrustCom (2023)
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Automatic Generation of Distributed Algorithms with Generative AI. DSN-S (2023)
Cláudio Correia, Miguel Correia, Luís E. T. Rodrigues
Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge. CCS (2023)
Alysson Bessani, Miguel Correia, Tobias Distler, Rüdiger Kapitza, Paulo Esteves Veríssimo, Jiangshan Yu
Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols. CoRR (2023)
David R. Matos, Miguel L. Pardal, António Rito Silva, Miguel Correia
μVerum: Intrusion Recovery for Microservice Applications. IEEE Access 11 (2023)
André Augusto, Rafael Belchior, Imre Kocsis, László Gönczy, André Vasconcelos, Miguel Correia
CBDC Bridging between Hyperledger Fabric and Permissioned EVM-based Blockchains. ICBC (2023)
Rodrigo Silva, Cláudio Correia, Miguel Correia, Luís E. T. Rodrigues
Deduplication vs Privacy Tradeoffs in Cloud Storage. SAC (2023)
Daniel Andrade, João Nuno Silva, Miguel Correia
I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX. PRDC (2023)
João Romeiras Amado, Francisco Chamiça Pereira, Salvatore Signorello, Miguel Correia, Fernando M. V. Ramos
Poster: In-Network ML Feature Computation for Malicious Traffic Detection. SIGCOMM (2023)
David R. Matos, Miguel L. Pardal, Miguel Correia
Sanare: Pluggable Intrusion Recovery for Web Applications. IEEE Trans. Dependable Secur. Comput. 20 (1) (2023)
Vasco Guita, Daniel Andrade, João Nuno Silva, Miguel Correia
Anonymous Trusted Data Relocation for TEEs. SEC (2022)
Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia
Learning to generate Reliable Broadcast Algorithms. CoRR (2022)
Cláudio Correia, Miguel Correia, Luís Rodrigues
Omega: A Secure Event Ordering Service for the Edge. IEEE Trans. Dependable Secur. Comput. 19 (5) (2022)
Rafael Belchior, Sérgio Guerreiro, André Vasconcelos, Miguel Correia
A survey on business process view integration: past, present and future applications to blockchain. Bus. Process. Manag. J. 28 (3) (2022)
Ibéria Medeiros, Nuno Neves, Miguel Correia
Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages. IEEE Trans. Reliab. 71 (2) (2022)
Rafael Belchior, André Vasconcelos, Miguel Correia, Thomas Hardjono
Hermes: Fault-tolerant middleware for blockchain interoperability. Future Gener. Comput. Syst. 129 (2022)
Filipe Apolinário, Nelson Escravana, Éric Hervé, Miguel L. Pardal, Miguel Correia
FingerCI: generating specifications for critical infrastructures. SAC (2022)
Daniel Andrade, João Silva, Miguel Correia
SRX-Secure Data Backup and Recovery for SGX Applications. IEEE Access 10 (2022)
Rafael Belchior, André Vasconcelos, Sérgio Guerreiro, Miguel Correia
A Survey on Blockchain Interoperability: Past, Present, and Future Trends. ACM Comput. Surv. 54 (8) (2022)
Filipe Apolinário, João Guiomar, Éric Hervé, Sven Hrastnik, Nelson Escravana, Miguel L. Pardal, Miguel Correia
ComSEC: Secure Communications for Baggage Handling Systems. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS (2022)
Rafael Belchior, André Vasconcelos, Miguel Correia, Thomas Hardjono
Enabling Cross-Jurisdiction Digital Asset Transfer. SCC (2021)
Ahad Niknia, Miguel Correia, Jaber Karimpour
Secure cloud-of-clouds storage with space-efficient secret sharing. J. Inf. Secur. Appl. 59 (2021)
Ahad Niknia, Miguel Correia, Jaber Karimpour
Secure cloud-of-clouds storage with space-efficient secret sharing. IACR Cryptol. ePrint Arch. 2021 (2021)
Mihail Brinza, Miguel Correia, João Pereira
Virtual Static Security Analyzer for Web Applications. TrustCom (2021)
Pedro Marques, Luis Dias, Miguel Correia
CyberVTI: Cyber Visualization Tool for Intrusion Detection. NCA (2021)
Arnaldo Gouveia, Miguel Correia
Towards Quantum-Enhanced Machine Learning for Network Intrusion Detection. NCA (2020)
Fábio Gomes, Miguel Correia
Cryptojacking Detection with CPU Usage Metrics. NCA (2020)
Rafael Belchior, André Vasconcelos, Sérgio Guerreiro, Miguel Correia
A Survey on Blockchain Interoperability: Past, Present, and Future Trends. CoRR (2020)
Ray Neiheiser, Luciana Rech, Manuel Bravo, Luís E. T. Rodrigues, Miguel Correia
Fireplug: Efficient and Robust Geo-Replication of Graph Databases. IEEE Trans. Parallel Distributed Syst. 31 (8) (2020)
Marcelo Silva, Miguel Matos, Miguel Correia
P2CSTORE: P2P and Cloud File Storage for Blockchain Applications. NCA (2020)
Gilberto Gomes, Luís Dias, Miguel Correia
CryingJackpot: Network Flows and Performance Counters against Cryptojacking. NCA (2020)
Alexandra Figueiredo, Tatjana Lide, Miguel Correia
Multi-Language Web Vulnerability Detection. ISSRE Workshops (2020)
Rafael Belchior, Benedikt Putz, Günther Pernul, Miguel Correia, André Vasconcelos, Sérgio Guerreiro
SSIBAC: Self-Sovereign Identity Based Access Control. TrustCom (2020)
Tiago Fernandes, Luis Dias, Miguel Correia
C2BID: Cluster Change-Based Intrusion Detection. TrustCom (2020)
Filipe F. Martins, David R. Matos, Miguel L. Pardal, Miguel Correia
Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum. NCA (2020)
Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia
MultiTLS: Secure communication channels with cipher suite diversity. IACR Cryptol. ePrint Arch. 2020 (2020)
Alexandra Figueiredo, Tatjana Lide, David R. Matos, Miguel Correia
MERLIN: Multi-Language Web Vulnerability Detection. NCA (2020)
Rafael Belchior, Sérgio Guerreiro, André Vasconcelos, Miguel Correia
A Survey on Business Process View Integration. CoRR (2020)
Luís Dias, Simão Valente, Miguel Correia
Go With the Flow: Clustering Dynamically-Defined NetFlow Features for Network Intrusion Detection with DynIDS. NCA (2020)
Rafael Belchior, Miguel Correia, André Vasconcelos
Towards Secure, Decentralized, and Automatic Audits With Blockchain. ECIS (2020)
Diogo Serranito, André Vasconcelos, Sérgio Guerreiro, Miguel Correia
Blockchain Ecosystem for Verifiable Qualifications. BRAINS (2020)
João Romeiras Amado, Salvatore Signorello, Miguel Correia, Fernando M. V. Ramos
Poster: Speeding Up Network Intrusion Detection. ICNP (2020)
Cláudio Correia, Miguel Correia, Luís Rodrigues
Omega: a Secure Event Ordering Service for the Edge. DSN (2020)
Sérgio Guerreiro, Diogo Silva, Tiago Rosado, André Vasconcelos, Miguel Correia, Pedro Sousa
Decentralized Business Process Control using Blockchain An experience report from two applications: Food Supply Chain and Car Registration. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 15 (2020)
Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia
MultiTLS: Secure Communication Channels with Cipher Suite Diversity. SEC (2020)
Ibéria Medeiros, Miguel Beatriz, Nuno Neves, Miguel Correia
SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS. IEEE Trans. Reliab. 68 (3) (2019)
Luís Dias, Hélder Reia, Rui Neves, Miguel Correia
OutGene: Detecting Undefined Network Attacks with Time Stretching and Genetic Zooms. NSS (2019)
Rafael Belchior, Miguel Correia, André Vasconcelos
JusticeChain: Using Blockchain to Protect Justice Logs. OTM Conferences (2019)
Paulo Jorge Costa Nunes, Ibéria Medeiros, José Fonseca, Nuno Neves, Miguel Correia, Marco Vieira
An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios. Computing 101 (2) (2019)
Ibéria Medeiros, Nuno Neves, Miguel Correia
Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages. CoRR (2019)
Carlos Faria, Miguel Correia
BlockSim: Blockchain Simulator. Blockchain (2019)
Erick Lavoie, Laurie J. Hendren, Frédéric Desprez, Miguel Correia
Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC. CoRR (2019)
Erick Lavoie, Laurie J. Hendren, Frederic Desprez, Miguel Correia
Pando: Personal Volunteer Computing in Browsers. Middleware (2019)
Erick Lavoie, Laurie J. Hendren, Frédéric Desprez, Miguel Correia
Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC. SASO (2019)
Naércio Magaia, Carlos Borrego, Paulo Rogério Pereira, Miguel Correia
ePRIVO: An Enhanced PRIvacy-preserVing Opportunistic Routing Protocol for Vehicular Delay-Tolerant Networks. IEEE Trans. Veh. Technol. 67 (11) (2018)
Ray Neiheiser, Daniel Presser, Luciana Rech, Manuel Bravo, Luís E. T. Rodrigues, Miguel Correia
Fireplug: Flexible and robust N-version geo-replication of graph databases. ICOIN (2018)
David R. Matos, Miguel L. Pardal, Pedro Adão, António Rito Silva, Miguel Correia
Securing Electronic Health Records in the Cloud. P2DS@EuroSys (2018)
Filipe Apolinario, Miguel L. Pardal, Miguel Correia
S-Audit: Efficient Data Integrity Verification for Cloud Storage. TrustCom/BigDataSE (2018)
Paulo Jorge Costa Nunes, Iberia Medeiros, José Fonseca, Nuno Neves, Miguel Correia, Marco Vieira
Benchmarking Static Analysis Tools for Web Security. IEEE Trans. Reliab. 67 (3) (2018)
Hylson Vescovi Netto, Aldelir Fernando Luiz, Miguel Correia, Luciana de Oliveira Rech, Caio Pereira Oliveira
Koordinator: A Service Approach for Replicating Docker Containers in Kubernetes. ISCC (2018)
Erick Lavoie, Laurie J. Hendren, Frederic Desprez, Miguel Correia
Pando: a Volunteer Computing Platform for the Web. CoRR (2018)
Nuno O. Duarte, Sileshi Demesie Yalew, Nuno Santos, Miguel Correia
Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions. MobiQuitous (2018)
Naércio Magaia, Zhengguo Sheng, Paulo Rogério Pereira, Miguel Correia
REPSYS: A Robust and Distributed Incentive Scheme for Collaborative Caching and Dissemination in Content-Centric Cellular-Based Vehicular Delay-Tolerant Networks. IEEE Wirel. Commun. 25 (3) (2018)
Luis Sacramento, Iberia Medeiros, Joao Bota, Miguel Correia
FlowHacker: Detecting Unknown Network Attacks in Big Traffic Data Using Network Flows. TrustCom/BigDataSE (2018)
Miguel Guerra, Benjamin Taubmann, Hans P. Reiser, Sileshi Demesie Yalew, Miguel Correia
Introspection for ARM TrustZone with the ITZ Library. QRS (2018)
David R. Matos, Miguel L. Pardal, Georg Carle, Miguel Correia
RockFS: Cloud-backed File System Resilience to Client-Side Attacks. Middleware (2018)
Erick Lavoie, Miguel Correia, Laurie J. Hendren
Xor-Overlay Topology Management beyond Kademlia. SASO (2017)
Arnaldo Gouveia, Miguel Correia
A Systematic Approach for the Application of Restricted Boltzmann Machines in Network Intrusion Detection. IWANN (1) (2017)
Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia
Hail to the Thief: Protecting data from mobile ransomware with ransomsafedroid. NCA (2017)
David R. Matos, Miguel L. Pardal, Miguel Correia
Rectify: black-box intrusion recovery in PaaS clouds. Middleware (2017)
Naércio Magaia, Carlos Borrego, Paulo Pereira, Miguel Correia
PRIVO: A privacy-preserving opportunistic routing protocol for delay tolerant networks. Networking (2017)
Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia
T2Droid: A TrustZone-Based Dynamic Analyser for Android Applications. TrustCom/BigDataSE/ICESS (2017)
Sileshi Demesie Yalew, Pedro Mendonca, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia
TruApp: A TrustZone-based authenticity detection service for mobile apps. WiMob (2017)
Paulo Jorge Costa Nunes, Iberia Medeiros, José Fonseca, Nuno Ferreira Neves, Miguel Correia, Marco Vieira
On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study. EDCC (2017)
André Joaquim, Miguel L. Pardal, Miguel Correia
Vulnerability-Tolerant Transport Layer Security. OPODIS (2017)
Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia
DroidPosture: A trusted posture assessment service for mobile devices. WiMob (2017)
Pedro A. R. S. Costa, Fernando M. V. Ramos, Miguel Correia
On the Design of Resilient Multicloud MapReduce. IEEE Cloud Comput. 4 (4) (2017)
Pedro A. R. S. Costa, Fernando M. V. Ramos, Miguel Correia
Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce. CCGrid (2017)
Naércio Magaia, Paulo Rogério Pereira, Miguel Correia
REPSYS: A Robust and Distributed Reputation System for Delay-Tolerant Networks. MSWiM (2017)
Iberia Medeiros, Miguel Beatriz, Nuno Ferreira Neves, Miguel Correia
Demonstrating a Tool for Injection Attack Prevention in MySQL. DSN (2017)
Hylson Vescovi Netto, Lau Cheuk Lung, Miguel Correia, Aldelir Fernando Luiz, Luciana Moreira Sá de Souza
State machine replication in containers managed by Kubernetes. J. Syst. Archit. 73 (2017)
Paulo R. Pinho Filho, Luciana de Oliveira Rech, Lau Cheuk Lung, Miguel Correia, Lásaro Jonas Camargos
Priority-Based State Machine Replication with PRaxos. AINA (2016)
Arnaldo Gouveia, Miguel Correia
Feature set tuning in statistical learning network intrusion detection. NCA (2016)
Pedro A. R. S. Costa, Xiao Bai, Fernando M. V. Ramos, Miguel Correia
Medusa: An Efficient Cloud Fault-Tolerant MapReduce. CCGrid (2016)
David R. Matos, Miguel Correia
NoSQL Undo: Recovering NoSQL databases by undoing operations. NCA (2016)
Karan Balu, Miguel L. Pardal, Miguel Correia
DARSHANA: Detecting route hijacking for communication confidentiality. NCA (2016)
André Joaquim, Miguel L. Pardal, Miguel Correia
vtTLS: A vulnerability-tolerant communication protocol. NCA (2016)
Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Miguel Correia
Light-SPD: a platform to prototype secure mobile applications. PAMCO@MobiHoc (2016)
Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia
DEKANT: a static analysis tool that learns to detect web application vulnerabilities. ISSTA (2016)
Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia
Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report. DSN (2016)

Miguel Correia.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Miguel Correia