| 2026 | SAC | A Framework for Monitoring and Auditing the Activity of Cross-Chain Mechanisms. | Jorge Santos, Andr Augusto, Andr Vasconcelos, Miguel Correia |
| 2025 | DSN | Looking for Anomalies in Cross-Chain Bridges. | Andr Augusto, Rafael Belchior, Jonas Pfannschmidt, Andr Vasconcelos, Miguel Correia |
| 2025 | EDCC | Handling Assets in the Secure Asset Transfer Protocol - One Schema to Handle Them All (Position Paper). | Rodolfo Carapau, Andr Augusto, Andr Vasconcelos, Miguel Correia |
| 2025 | EDCC | Large Language Models for Explainable Threat Intelligence. | Tiago Dinis, Roger Tavares, Miguel Correia |
| 2025 | EDCC | Visualization of Cross-Chain Transactions for Secure Blockchain Interoperability (Position Paper). | Jorge Santos, Andr Augusto, Andr Vasconcelos, Miguel Correia |
| 2025 | EDCC | AI-Generated Distributed Algorithms: Paving the Way for More Dependable Distributed Systems. | Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2025 | Middleware | XChainWatcher: Identifying Anomalies in Cross-Chain Bridges. | Andr Augusto, Rafael Belchior, Jonas Pfannschmidt, Andr Vasconcelos, Miguel Correia |
| 2025 | SRDS | Decentralised Land Registration and Transaction with Blockchain and Self-Sovereign Identity. | Pedro C. Henriques, Miguel Correia |
| 2024 | SP | SoK: Security and Privacy of Blockchain Interoperability. | Andr Augusto, Rafael Belchior, Miguel Correia, Andr Vasconcelos, Luyao Zhang, Thomas Hardjono |
| 2023 | CCS | Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge. | Cludio Correia, Miguel Correia, Lus E. T. Rodrigues |
| 2023 | DSN | Automatic Generation of Distributed Algorithms with Generative AI. | Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2023 | EASE | Decentralised Autonomous Organisations for Public Procurement. | Felix Monteiro, Miguel Correia |
| 2023 | MICCAI | Global and Local Explanations for Skin Cancer Diagnosis Using Prototypes. | Carlos Santiago, Miguel Correia, Maria Rita Verdelho, Alceu Bissoto, Catarina Barata |
| 2023 | PRDC | I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX. | Daniel Andrade, Joo Nuno Silva, Miguel Correia |
| 2023 | PRDC | PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems. | Cludio Correia, Rita Prates, Miguel Correia, Lus E. T. Rodrigues |
| 2023 | SAC | Deduplication vs Privacy Tradeoffs in Cloud Storage. | Rodrigo Silva, Cludio Correia, Miguel Correia, Lus E. T. Rodrigues |
| 2023 | TrustCom | TrustGlass: Human-Computer Trusted Paths with Augmented Reality Smart Glasses. | Hlio Borges, Daniel Andrade, Joo Nuno Silva, Miguel Correia |
| 2023 | SIGCOMM | Poster: In-Network ML Feature Computation for Malicious Traffic Detection. | Joo Romeiras Amado, Francisco Chamia Pereira, Salvatore Signorello, Miguel Correia, Fernando M. V. Ramos |
| 2022 | ESORICS | ComSEC: Secure Communications for Baggage Handling Systems. | Filipe Apolinrio, Joo Guiomar, ric Herv, Sven Hrastnik, Nelson Escravana, Miguel L. Pardal, Miguel Correia |
| 2022 | SAC | FingerCI: generating specifications for critical infrastructures. | Filipe Apolinrio, Nelson Escravana, ric Herv, Miguel L. Pardal, Miguel Correia |
| 2022 | SEC | Anonymous Trusted Data Relocation for TEEs. | Vasco Guita, Daniel Andrade, Joo Nuno Silva, Miguel Correia |
| 2021 | ISCC | Blockchain Address Transparency with DNS. | Mara Caldeira, Miguel Correia |
| 2021 | NCA | CyberVTI: Cyber Visualization Tool for Intrusion Detection. | Pedro Marques, Lus Dias, Miguel Correia |
| 2021 | TrustCom | Virtual Static Security Analyzer for Web Applications. | Mihail Brinza, Miguel Correia, Joo Pereira |
| 2020 | DSN | Omega: a Secure Event Ordering Service for the Edge. | Cludio Correia, Miguel Correia, Lus Rodrigues |
| 2020 | ICNP | Poster: Speeding Up Network Intrusion Detection. | Joo Romeiras Amado, Salvatore Signorello, Miguel Correia, Fernando M. V. Ramos |
| 2020 | ISSRE | Multi-Language Web Vulnerability Detection. | Alexandra Figueiredo, Tatjana Lide, Miguel Correia |
| 2020 | NCA | Go With the Flow: Clustering Dynamically-Defined NetFlow Features for Network Intrusion Detection with DynIDS. | Lus Dias, Simo Valente, Miguel Correia |
| 2020 | NCA | MERLIN: Multi-Language Web Vulnerability Detection. | Alexandra Figueiredo, Tatjana Lide, David R. Matos, Miguel Correia |
| 2020 | NCA | Cryptojacking Detection with CPU Usage Metrics. | Fbio Gomes, Miguel Correia |
| 2020 | NCA | CryingJackpot: Network Flows and Performance Counters against Cryptojacking. | Gilberto Gomes, Lus Dias, Miguel Correia |
| 2020 | NCA | Towards Quantum-Enhanced Machine Learning for Network Intrusion Detection. | Arnaldo Gouveia, Miguel Correia |
| 2020 | NCA | Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum. | Filipe F. Martins, David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2020 | NCA | P2CSTORE: P2P and Cloud File Storage for Blockchain Applications. | Marcelo Silva, Miguel Matos, Miguel Correia |
| 2020 | TrustCom | SSIBAC: Self-Sovereign Identity Based Access Control. | Rafael Belchior, Benedikt Putz, Gnther Pernul, Miguel Correia, Andr Vasconcelos, Srgio Guerreiro |
| 2020 | TrustCom | C2BID: Cluster Change-Based Intrusion Detection. | Tiago Fernandes, Lus Dias, Miguel Correia |
| 2020 | SEC | MultiTLS: Secure Communication Channels with Cipher Suite Diversity. | Ricardo Moura, David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2019 | Middleware | Pando: Personal Volunteer Computing in Browsers. | Erick Lavoie, Laurie J. Hendren, Frederic Desprez, Miguel Correia |
| 2019 | NSS | OutGene: Detecting Undefined Network Attacks with Time Stretching and Genetic Zooms. | Lus Dias, Hlder Reia, Rui Neves, Miguel Correia |
| 2018 | EuroSys | Securing Electronic Health Records in the Cloud. | David R. Matos, Miguel L. Pardal, Pedro Ado, Antnio Rito Silva, Miguel Correia |
| 2018 | ISCC | Koordinator: A Service Approach for Replicating Docker Containers in Kubernetes. | Hylson Vescovi Netto, Aldelir Fernando Luiz, Miguel Correia, Luciana de Oliveira Rech, Caio Pereira Oliveira |
| 2018 | Middleware | RockFS: Cloud-backed File System Resilience to Client-Side Attacks. | David R. Matos, Miguel L. Pardal, Georg Carle, Miguel Correia |
| 2018 | Mobiquitous | Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions. | Nuno O. Duarte, Sileshi Demesie Yalew, Nuno Santos, Miguel Correia |
| 2018 | QRS | Introspection for ARM TrustZone with the ITZ Library. | Miguel Guerra, Benjamin Taubmann, Hans P. Reiser, Sileshi Demesie Yalew, Miguel Correia |
| 2018 | TrustCom | S-Audit: Efficient Data Integrity Verification for Cloud Storage. | Filipe Apolinario, Miguel L. Pardal, Miguel Correia |
| 2018 | TrustCom | FlowHacker: Detecting Unknown Network Attacks in Big Traffic Data Using Network Flows. | Luis Sacramento, Iberia Medeiros, Joao Bota, Miguel Correia |
| 2017 | CCGRID | Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce. | Pedro A. R. S. Costa, Fernando M. V. Ramos, Miguel Correia |
| 2017 | DSN | Demonstrating a Tool for Injection Attack Prevention in MySQL. | Iberia Medeiros, Miguel Beatriz, Nuno Ferreira Neves, Miguel Correia |
| 2017 | EDCC | On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study. | Paulo Jorge Costa Nunes, Iberia Medeiros, Jos Fonseca, Nuno Ferreira Neves, Miguel Correia, Marco Vieira |
| 2017 | IWANN | A Systematic Approach for the Application of Restricted Boltzmann Machines in Network Intrusion Detection. | Arnaldo Gouveia, Miguel Correia |
| 2017 | Middleware | Rectify: black-box intrusion recovery in PaaS clouds. | David R. Matos, Miguel L. Pardal, Miguel Correia |
| 2017 | MSWIM | REPSYS: A Robust and Distributed Reputation System for Delay-Tolerant Networks. | Narcio Magaia, Paulo Rogrio Pereira, Miguel Correia |
| 2017 | NCA | Hail to the Thief: Protecting data from mobile ransomware with ransomsafedroid. | Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia |
| 2017 | Networking | PRIVO: A privacy-preserving opportunistic routing protocol for delay tolerant networks. | Narcio Magaia, Carlos Borrego, Paulo Pereira, Miguel Correia |
| 2017 | OPODIS | Vulnerability-Tolerant Transport Layer Security. | Andr Joaquim, Miguel L. Pardal, Miguel Correia |
| 2017 | TrustCom | T2Droid: A TrustZone-Based Dynamic Analyser for Android Applications. | Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia |
| 2017 | WiMob | DroidPosture: A trusted posture assessment service for mobile devices. | Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia |
| 2017 | WiMob | TruApp: A TrustZone-based authenticity detection service for mobile apps. | Sileshi Demesie Yalew, Pedro Mendona, Gerald Q. Maguire Jr., Seif Haridi, Miguel Correia |
| 2016 | AINA | Priority-Based State Machine Replication with PRaxos. | Paulo R. Pinho Filho, Luciana de Oliveira Rech, Lau Cheuk Lung, Miguel Correia, Lsaro Jonas Camargos |
| 2016 | CCGRID | Medusa: An Efficient Cloud Fault-Tolerant MapReduce. | Pedro A. R. S. Costa, Xiao Bai, Fernando M. V. Ramos, Miguel Correia |
| 2016 | DSN | Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report. | Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia |
| 2016 | ISSTA | DEKANT: a static analysis tool that learns to detect web application vulnerabilities. | Ibria Medeiros, Nuno Ferreira Neves, Miguel Correia |
| 2016 | MOBIHOC | Light-SPD: a platform to prototype secure mobile applications. | Sileshi Demesie Yalew, Gerald Q. Maguire Jr., Miguel Correia |
| 2016 | NCA | DARSHANA: Detecting route hijacking for communication confidentiality. | Karan Balu, Miguel L. Pardal, Miguel Correia |
| 2016 | NCA | Feature set tuning in statistical learning network intrusion detection. | Arnaldo Gouveia, Miguel Correia |
| 2016 | NCA | vtTLS: A vulnerability-tolerant communication protocol. | Andr Joaquim, Miguel L. Pardal, Miguel Correia |
| 2016 | NCA | NoSQL Undo: Recovering NoSQL databases by undoing operations. | David R. Matos, Miguel Correia |
| 2016 | NCA | MACHETE: Multi-path communication for security. | Diogo Raposo, Miguel L. Pardal, Lus E. T. Rodrigues, Miguel Correia |
| 2016 | NCA | Leveraging an homomorphic encryption library to implement a coordination service. | Eugenio A. Silva, Miguel Correia |
| 2016 | TrustCom | Fingerprinting for Web Applications: From Devices to Related Groups. | Christine Blakemore, Joo Redol, Miguel Correia |
| 2015 | BigData | Greft: Arbitrary Fault-Tolerant Distributed Graph Processing. | Daniel Presser, Lau Cheuk Lung, Miguel Correia |
| 2015 | ICDCS | Shuttle: Intrusion Recovery for PaaS. | Dario Nascimento, Miguel Correia |
| 2015 | TrustCom | Big Data Analytics for Detecting Host Misbehavior in Large Logs. | Daniel Gonalves, Joao Bota, Miguel Correia |
| 2014 | WWW | Automatic detection and correction of web application vulnerabilities using data mining to predict false positives. | Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia |
| 2014 | USENIX | SCFS: A Shared Cloud-backed File System. | Alysson Neves Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Ferreira Neves, Miguel Correia, Marcelo Pasin, Paulo Verssimo |
| 2013 | EuroPar | Clouds-of-Clouds for Dependability and Security: Geo-replication Meets the Cloud. | Miguel Correia |
| 2013 | INDIN | Securing energy metering software with automatic source code correction. | Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia |
| 2013 | ISCC | Byzantine fault-tolerant state machine replication with twin virtual machines. | Fernando Dettoni, Lau Cheuk Lung, Miguel Correia, Aldelir Fernando Luiz |
| 2013 | USENIX | On the Efficiency of Durable State Machine Replication. | Alysson Neves Bessani, Marcel Santos, Joo Felix, Nuno Ferreira Neves, Miguel Correia |
| 2012 | USENIX | Practical Hardening of Crash-Tolerant Systems. | Miguel Correia, Daniel Gmez Ferro, Flavio Paiva Junqueira, Marco Serafini |
| 2012 | SRDS | On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds. | Miguel Correia, Pedro A. R. S. Costa, Marcelo Pasin, Alysson Neves Bessani, Fernando M. V. Ramos, Paulo Verssimo |
| 2011 | CloudCom | Byzantine Fault-Tolerant MapReduce: Faults are Not Just Crashes. | Pedro A. R. S. Costa, Marcelo Pasin, Alysson Neves Bessani, Miguel Correia |
| 2011 | DSN | Anomaly-based intrusion detection in software as a service. | Gustavo Nascimento, Miguel Correia |
| 2011 | DSN | Lucy in the sky without diamonds: Stealing confidential data in the cloud. | Francisco Rocha, Miguel Correia |
| 2011 | NCA | Byzantine Fault-Tolerant Transaction Processing for Replicated Databases. | Aldelir Fernando Luiz, Lau Cheuk Lung, Miguel Correia |
| 2011 | OPODIS | N-party BAR Transfer. | Xavier Vilaa, Joo Leito, Miguel Correia, Lus E. T. Rodrigues |
| 2010 | AINA | Intrusion Tolerant Services Through Virtualization: A Shared Memory Approach. | Valdir Stumm Jr., Lau Cheuk Lung, Miguel Correia, Joni da Silva Fraga, Jim Lau |
| 2010 | DSN | 4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010. | Miguel Correia, Partha P. Pal |
| 2010 | DSN | Turquois: Byzantine consensus in wireless ad hoc networks. | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia |
| 2010 | SAC | Asynchronous Byzantine consensus with 2f+1 processes. | Miguel Correia, Giuliana Santos Veronese, Lau Cheuk Lung |
| 2009 | DSN | 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009. | Saurabh Bagchi, Miguel Correia, Partha P. Pal |
| 2009 | DSN | Intrusion-tolerant self-healing devices for critical infrastructure protection. | Paulo Sousa, Alysson Neves Bessani, Wagner Saback Dantas, Fabio Souto, Miguel Correia, Nuno Ferreira Neves |
| 2009 | SRDS | Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary. | Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung |
| 2008 | EuroSys | DepSpace: a byzantine fault-tolerant coordination service. | Alysson Neves Bessani, Eduardo Adlio Pelinson Alchieri, Miguel Correia, Joni da Silva Fraga |
| 2008 | NCA | Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. | Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Verssimo |
| 2007 | ICSE | The CRUTIAL Architecture for Critical Information Infrastructures. | Paulo Verssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone |
| 2007 | ISORC | Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational Grids. | Fbio Favarim, Joni da Silva Fraga, Lau Cheuk Lung, Miguel Correia, Joo Felipe Santos |
| 2007 | NCA | Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems. | Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung |
| 2007 | NCA | GRIDTS: A New Approach for Fault-Tolerant Scheduling in Grid Computing. | Fbio Favarim, Joni da Silva Fraga, Lau Cheuk Lung, Miguel Correia |
| 2007 | PRDC | Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Antnio Casimiro, Paulo Verssimo |
| 2007 | PRDC | Resilient Intrusion Tolerance through Proactive and Reactive Recovery. | Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Verssimo |
| 2007 | PRDC | On the Effects of Finite Memory on Intrusion-Tolerant Systems. | Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Verssimo |
| 2007 | WEBIST | Specification-based Intrusion Detection System for Carrier Ethernet. | Pan Jieke, Joo Redol, Miguel Correia |
| 2007 | SRDS | Evaluating Byzantine Quorum Systems. | Wagner Saback Dantas, Alysson Neves Bessani, Joni da Silva Fraga, Miguel Correia |
| 2006 | CRITIS | CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. | Paulo Verssimo, Nuno Ferreira Neves, Miguel Correia |
| 2006 | DSN | Randomized Intrusion-Tolerant Asynchronous Services. | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verssimo |
| 2006 | DSN | Using Attack Injection to Discover New Vulnerabilities. | Nuno Ferreira Neves, Joo Antunes, Miguel Correia, Paulo Verssimo, Rui Ferreira Neves |
| 2006 | ICDCS | Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces. | Alysson Neves Bessani, Joni da Silva Fraga, Miguel Correia, Lau Cheuk Lung |
| 2006 | ISORC | An Infrastructure for Adaptive Fault Tolerance on FT-CORBA. | Lau Cheuk Lung, Fbio Favarim, Giuliana Teixeira Santos, Miguel Correia |
| 2006 | SRDS | Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verssimo |
| 2004 | SRDS | How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. | Miguel Correia, Nuno Ferreira Neves, Paulo Verssimo |
| 2002 | EDCC | The Design of a COTSReal-Time Distributed Security Kernel. | Miguel Correia, Paulo Verssimo, Nuno Ferreira Neves |
| 2002 | ICSE | Intrusion-Tolerant Architectures: Concepts and Design. | Paulo Verssimo, Nuno Ferreira Neves, Miguel Correia |
| 2002 | SRDS | Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. | Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Verssimo |