Low-Level Multimedia Synchronization Algorithms on Broadband Networks. - Miguel Correia 001; Paulo Pinto 001 (ACM Multimedia, 1995)

Integrated Dymanic QoS Control for Multimedia Applications. - João Bom; Paulo Marques; Miguel Correia 001; Paulo Pinto 001 (Broadband European Networks and Multimedia Services, 1998)

The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. - Miguel Correia 001; Paulo Veríssimo; Nuno Ferreira Neves (ICDCS Workshops, 2001)

The Design of a COTSReal-Time Distributed Security Kernel. - Miguel Correia 001; Paulo Veríssimo; Nuno Ferreira Neves (EDCC, 2002)

Intrusion-Tolerant Architectures: Concepts and Design. - Paulo Veríssimo; Nuno Ferreira Neves; Miguel Correia 001 (WADS, 2002)

Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. - Miguel Correia 001; Lau Cheuk Lung; Nuno Ferreira Neves; Paulo Veríssimo (SRDS, 2002)

How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. - Miguel Correia 001; Nuno Ferreira Neves; Paulo Veríssimo (SRDS, 2004)

Low complexity Byzantine-resilient consensus. - Miguel Correia 001; Nuno Ferreira Neves; Lau Cheuk Lung; Paulo Veríssimo (Distributed Comput., 2005)

Solving Vector Consensus with a Wormhole. - Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo (IEEE Trans. Parallel Distributed Syst., 2005)

CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. - Paulo Veríssimo; Nuno Ferreira Neves; Miguel Correia 001 (CRITIS, 2006)

Randomized Intrusion-Tolerant Asynchronous Services. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo (DSN, 2006)

Using Attack Injection to Discover New Vulnerabilities. - Nuno Ferreira Neves; João Antunes; Miguel Correia 001; Paulo Veríssimo; Rui Ferreira Neves (DSN, 2006)

An Infrastructure for Adaptive Fault Tolerance on FT-CORBA. - Lau Cheuk Lung; Fábio Favarim; Giuliana Teixeira Santos; Miguel Correia 001 (ISORC, 2006)

Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo (SRDS, 2006)

Brief Announcement: Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems. - Alysson Neves Bessani; Miguel Correia 001; Joni da Silva Fraga; Lau Cheuk Lung (DISC, 2006)

From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. - Miguel Correia 001; Nuno Ferreira Neves; Paulo Veríssimo (Comput. J., 2006)

The CRUTIAL Architecture for Critical Information Infrastructures. - Paulo Veríssimo; Nuno Ferreira Neves; Miguel Correia 001; Yves Deswarte; Anas Abou El Kalam; Andrea Bondavalli; Alessandro Daidone (WADS, 2007)

Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational Grids. - Fábio Favarim; Joni da Silva Fraga; Lau Cheuk Lung; Miguel Correia 001; João Felipe Santos (ISORC, 2007)

Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems. - Alysson Neves Bessani; Miguel Correia 001; Joni da Silva Fraga; Lau Cheuk Lung (NCA, 2007)

GRIDTS: A New Approach for Fault-Tolerant Scheduling in Grid Computing. - Fábio Favarim; Joni da Silva Fraga; Lau Cheuk Lung; Miguel Correia 001 (NCA, 2007)

Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; António Casimiro; Paulo Veríssimo (PRDC, 2007)

Resilient Intrusion Tolerance through Proactive and Reactive Recovery. - Paulo Sousa 001; Alysson Neves Bessani; Miguel Correia 001; Nuno Ferreira Neves; Paulo Veríssimo (PRDC, 2007)

On the Effects of Finite Memory on Intrusion-Tolerant Systems. - Giuliana Santos Veronese; Miguel Correia 001; Lau Cheuk Lung; Paulo Veríssimo (PRDC, 2007)

Evaluating Byzantine Quorum Systems. - Wagner Saback Dantas; Alysson Neves Bessani; Joni da Silva Fraga; Miguel Correia 001 (SRDS, 2007)

When 3f+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus. - Alysson Neves Bessani; Miguel Correia 001; Henrique Moniz; Nuno Ferreira Neves; Paulo Veríssimo (DISC, 2007)

Specification-based Intrusion Detection System for Carrier Ethernet. - Pan Jieke; João Redol; Miguel Correia 001 (WEBIST (1), 2007)

Worm-IT - A wormhole-based intrusion-tolerant group communication system. - Miguel Correia 001; Nuno Ferreira Neves; Lau Cheuk Lung; Paulo Veríssimo (J. Syst. Softw., 2007)

Automated Rule-Based Diagnosis through a Distributed Monitor System. - Gunjan Khanna; Mike Yu Cheng; Padma Varadharajan; Saurabh Bagchi; Miguel P. Correia 001; Paulo Veríssimo (IEEE Trans. Dependable Secur. Comput., 2007)

DepSpace: a byzantine fault-tolerant coordination service. - Alysson Neves Bessani; Eduardo Adílio Pelinson Alchieri; Miguel Correia 001; Joni da Silva Fraga (EuroSys, 2008)

Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. - Giuliana Santos Veronese; Miguel Correia 001; Lau Cheuk Lung; Paulo Veríssimo (NCA, 2008)

The Crutial Way of Critical Infrastructure Protection. - Alysson Neves Bessani; Paulo Sousa 001; Miguel Correia 001; Nuno Ferreira Neves; Paulo Veríssimo (IEEE Secur. Priv., 2008)

The CRUTIAL reference critical information infrastructure architecture: a blueprint. - Paulo Veríssimo; Nuno Ferreira Neves; Miguel Correia 001 (Int. J. Syst. Syst. Eng., 2008)

On Byzantine generals with alternative plans. - Miguel Correia 001; Alysson Neves Bessani; Paulo Veríssimo (J. Parallel Distributed Comput., 2008)

3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009. - Saurabh Bagchi; Miguel Correia 001; Partha P. Pal (DSN, 2009)

Intrusion-tolerant self-healing devices for critical infrastructure protection. - Paulo Sousa 001; Alysson Neves Bessani; Wagner Saback Dantas; Fabio Souto; Miguel Correia 001; Nuno Ferreira Neves (DSN, 2009)

Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. - Paulo Veríssimo; Alysson Neves Bessani; Miguel Correia 001; Nuno Ferreira Neves; Paulo Sousa 001 (HICSS, 2009)

Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary. - Giuliana Santos Veronese; Miguel Correia 001; Alysson Neves Bessani; Lau Cheuk Lung (SRDS, 2009)

An Efficient Byzantine-Resilient Tuple Space. - Alysson Neves Bessani; Miguel Correia 001; Joni da Silva Fraga; Lau Cheuk Lung (IEEE Trans. Computers, 2009)

Sharing Memory between Byzantine Processes Using Policy-Enforced Tuple Spaces. - Alysson Neves Bessani; Miguel Correia 001; Joni da Silva Fraga; Lau Cheuk Lung (IEEE Trans. Parallel Distributed Syst., 2009)

Intrusion Tolerant Services Through Virtualization: A Shared Memory Approach. - Valdir Stumm Jr.; Lau Cheuk Lung; Miguel Correia 001; Joni da Silva Fraga; Jim Lau (AINA, 2010)

4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010. - Miguel Correia 001; Partha P. Pal (DSN, 2010)

Turquois: Byzantine consensus in wireless ad hoc networks. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001 (DSN, 2010)

EBAWA: Efficient Byzantine Agreement for Wide-Area Networks. - Giuliana Santos Veronese; Miguel Correia 001; Alysson Neves Bessani; Lau Cheuk Lung (HASE, 2010)

Active Quorum Systems. - Alysson Neves Bessani; Paulo Sousa 001; Miguel Correia 001 (HotDep, 2010)

Asynchronous Byzantine consensus with 2f+1 processes. - Miguel Correia 001; Giuliana Santos Veronese; Lau Cheuk Lung (SAC, 2010)

Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery. - Paulo Sousa 001; Alysson Neves Bessani; Miguel Correia 001; Nuno Ferreira Neves; Paulo Veríssimo (IEEE Trans. Parallel Distributed Syst., 2010)

Vulnerability Discovery with Attack Injection. - João Antunes; Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo; Rui Ferreira Neves (IEEE Trans. Software Eng., 2010)

Byzantine Fault-Tolerant MapReduce: Faults are Not Just Crashes. - Pedro A. R. S. Costa; Marcelo Pasin; Alysson Neves Bessani; Miguel Correia 001 (CloudCom, 2011)

Anomaly-based intrusion detection in software as a service. - Gustavo Nascimento; Miguel Correia 001 (DSN Workshops, 2011)

Lucy in the sky without diamonds: Stealing confidential data in the cloud. - Francisco Rocha; Miguel Correia 001 (DSN Workshops, 2011)

Byzantine Fault-Tolerant Transaction Processing for Replicated Databases. - Aldelir Fernando Luiz; Lau Cheuk Lung; Miguel Correia 001 (NCA, 2011)

N-party BAR Transfer. - Xavier Vilaça; João Leitão 001; Miguel Correia 001; Luís E. T. Rodrigues (OPODIS, 2011)

The Final Frontier: Confidentiality and Privacy in the Cloud. - Francisco Rocha; Salvador Abreu; Miguel Correia 001 (Computer, 2011)

Randomization can be a healer: consensus with dynamic omission failures. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo (Distributed Comput., 2011)

Byzantine consensus in asynchronous message-passing systems: a survey. - Miguel Correia 001; Giuliana Santos Veronese; Nuno Ferreira Neves; Paulo Veríssimo (Int. J. Crit. Comput. Based Syst., 2011)

RITAS: Services for Randomized Intrusion Tolerance. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001; Paulo Veríssimo (IEEE Trans. Dependable Secur. Comput., 2011)

On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds. - Miguel Correia 001; Pedro A. R. S. Costa; Marcelo Pasin; Alysson Neves Bessani; Fernando M. V. Ramos; Paulo Veríssimo (SRDS, 2012)

Practical Hardening of Crash-Tolerant Systems. - Miguel Correia 001; Daniel Gómez Ferro; Flavio Paiva Junqueira; Marco Serafini (USENIX ATC, 2012)

Vers une plate-forme MapReduce tolérant les fautes byzantines. - Luciana Arantes; Alysson Neves Bessani; Vinicius Vielmo Cogo; Miguel Correia 001; Pedro Costa; Jonathan Lejeune; M. Piffaretti; Olivier Marin; Marcelo Pasin; Pierre Sens 001; Fabrício Silva; Julien Sopena (Tech. Sci. Informatiques, 2012)

Clouds-of-Clouds for Dependability and Security: Geo-replication Meets the Cloud. - Miguel Correia 001 (Euro-Par Workshops, 2013)

Selfish and malicious behavior in Delay-Tolerant Networks. - Naércio Magaia; Paulo Rogério Pereira; Miguel P. Correia 001 (Future Network & Mobile Summit, 2013)

Securing energy metering software with automatic source code correction. - Iberia Medeiros; Nuno Ferreira Neves; Miguel Correia 001 (INDIN, 2013)

Byzantine fault-tolerant state machine replication with twin virtual machines. - Fernando Dettoni; Lau Cheuk Lung; Miguel Correia 001; Aldelir Fernando Luiz (ISCC, 2013)

On the Efficiency of Durable State Machine Replication. - Alysson Neves Bessani; Marcel Santos; João Felix; Nuno Ferreira Neves; Miguel Correia 001 (USENIX ATC, 2013)

BFT-TO: Intrusion Tolerance with Less Replicas. - Miguel Correia 001; Nuno Ferreira Neves; Paulo Veríssimo (Comput. J., 2013)

Dependability issues in cloud computing: extended papers from the 1st international workshop on dependability issues in cloud computing - DISCCO. - Miguel Correia 001; Neeraj Mittal (ACM SIGOPS Oper. Syst. Rev., 2013)

Efficient Byzantine Fault-Tolerance. - Giuliana Santos Veronese; Miguel Correia 001; Alysson Neves Bessani; Lau Cheuk Lung; Paulo Veríssimo (IEEE Trans. Computers, 2013)

On the Performance of Byzantine Fault-Tolerant MapReduce. - Pedro A. R. S. Costa; Marcelo Pasin; Alysson Neves Bessani; Miguel P. Correia 001 (IEEE Trans. Dependable Secur. Comput., 2013)

Byzantine Fault-Tolerant Consensus in Wireless Ad Hoc Networks. - Henrique Moniz; Nuno Ferreira Neves; Miguel Correia 001 (IEEE Trans. Mob. Comput., 2013)

DepSky: Dependable and Secure Storage in a Cloud-of-Clouds. - Alysson Neves Bessani; Miguel Correia 001; Bruno Quaresma; Fernando André; Paulo Sousa 001 (ACM Trans. Storage, 2013)

Non-blocking Atomic Commitment with Byzantine Faults. - Aldelir Fernando Luiz; Lau Cheuk Lung; Miguel Correia 001; Valdir Stumm Junior (SBRC, 2014)

SCFS: A Shared Cloud-backed File System. - Alysson Neves Bessani; Ricardo Mendes; Tiago Oliveira 008; Nuno Ferreira Neves; Miguel Correia 001; Marcelo Pasin; Paulo Veríssimo (USENIX ATC, 2014)

Automatic detection and correction of web application vulnerabilities using data mining to predict false positives. - Iberia Medeiros; Nuno Ferreira Neves; Miguel Correia 001 (WWW, 2014)

MITRA: byzantine fault-tolerant middleware for transaction processing on replicated databases. - Aldelir Fernando Luiz; Lau Cheuk Lung; Miguel Correia 001 (SIGMOD Rec., 2014)

Cloud Computing Dependability: Report and Extended Papers of the Second International Workshop on Dependability Issues in Cloud Computing. - Miguel Correia 001; Neeraj Mittal (ACM SIGOPS Oper. Syst. Rev., 2014)

Greft: Arbitrary Fault-Tolerant Distributed Graph Processing. - Daniel Presser; Lau Cheuk Lung; Miguel Correia 001 (BigData Congress, 2015)

Shuttle: Intrusion Recovery for PaaS. - Dario Nascimento; Miguel Correia 001 (ICDCS, 2015)

Big Data Analytics for Detecting Host Misbehavior in Large Logs. - Daniel Gonçalves 002; Joao Bota; Miguel Correia 001 (TrustCom/BigDataSE/ISPA (1), 2015)

Betweenness centrality in Delay Tolerant Networks: A survey. - Naércio Magaia; Alexandre P. Francisco; Paulo Rogério Pereira; Miguel Correia 001 (Ad Hoc Networks, 2015)

A multi-objective routing algorithm for Wireless Multimedia Sensor Networks. - Naércio Magaia; Nuno Horta; Rui Ferreira Neves; Paulo Rogério Pereira; Miguel Correia 001 (Appl. Soft Comput., 2015)

Anticipating Requests to Improve Performance and Reduce Costs in Cloud Storage. - Hylson Vescovi Netto; Lau Cheuk Lung; Tulio Alberton Ribeiro; Miguel Correia 001; Aldelir Fernando Luiz (SIGMETRICS Perform. Evaluation Rev., 2015)

Priority-Based State Machine Replication with PRaxos. - Paulo R. Pinho Filho; Luciana de Oliveira Rech; Lau Cheuk Lung; Miguel Correia 001; Lásaro Jonas Camargos (AINA, 2016)

Medusa: An Efficient Cloud Fault-Tolerant MapReduce. - Pedro A. R. S. Costa; Xiao Bai 002; Fernando M. V. Ramos; Miguel Correia 001 (CCGrid, 2016)

Hacking the DBMS to Prevent Injection Attacks. - Iberia Medeiros; Miguel Beatriz; Nuno Ferreira Neves; Miguel Correia 001 (CODASPY, 2016)

Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report. - Iberia Medeiros; Nuno Ferreira Neves; Miguel Correia 001 (DSN, 2016)

DEKANT: a static analysis tool that learns to detect web application vulnerabilities. - Ibéria Medeiros; Nuno Ferreira Neves; Miguel Correia 001 (ISSTA, 2016)

Light-SPD: a platform to prototype secure mobile applications. - Sileshi Demesie Yalew; Gerald Q. Maguire Jr.; Miguel Correia 001 (PAMCO@MobiHoc, 2016)

DARSHANA: Detecting route hijacking for communication confidentiality. - Karan Balu; Miguel L. Pardal; Miguel Correia 001 (NCA, 2016)

Feature set tuning in statistical learning network intrusion detection. - Arnaldo Gouveia; Miguel Correia 001 (NCA, 2016)

vtTLS: A vulnerability-tolerant communication protocol. - André Joaquim; Miguel L. Pardal; Miguel Correia 001 (NCA, 2016)

NoSQL Undo: Recovering NoSQL databases by undoing operations. - David R. Matos; Miguel Correia 001 (NCA, 2016)

MACHETE: Multi-path communication for security. - Diogo Raposo; Miguel L. Pardal; Luís E. T. Rodrigues; Miguel Correia 001 (NCA, 2016)

Leveraging an homomorphic encryption library to implement a coordination service. - Eugenio A. Silva; Miguel Correia 001 (NCA, 2016)

Fingerprinting for Web Applications: From Devices to Related Groups. - Christine Blakemore; João Redol; Miguel Correia 001 (Trustcom/BigDataSE/ISPA, 2016)

JITeR: Just-in-time application-layer routing. - Alysson Bessani; Nuno Ferreira Neves; Paulo Veríssimo; Wagner Saback Dantas; Alexandre Fonseca; Rui Silva; Pedro Luz; Miguel Correia 001 (Comput. Networks, 2016)

Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining. - Iberia Medeiros; Nuno Ferreira Neves; Miguel Correia 001 (IEEE Trans. Reliab., 2016)

Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce. - Pedro A. R. S. Costa; Fernando M. V. Ramos; Miguel Correia 001 (CCGrid, 2017)

Demonstrating a Tool for Injection Attack Prevention in MySQL. - Iberia Medeiros; Miguel Beatriz; Nuno Ferreira Neves; Miguel Correia 001 (DSN, 2017)

On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study. - Paulo Jorge Costa Nunes; Iberia Medeiros; José Fonseca 002; Nuno Ferreira Neves; Miguel Correia 001; Marco Vieira (EDCC, 2017)

A Systematic Approach for the Application of Restricted Boltzmann Machines in Network Intrusion Detection. - Arnaldo Gouveia; Miguel Correia 001 (IWANN (1), 2017)

Rectify: black-box intrusion recovery in PaaS clouds. - David R. Matos; Miguel L. Pardal; Miguel Correia 001 (Middleware, 2017)

REPSYS: A Robust and Distributed Reputation System for Delay-Tolerant Networks. - Naércio Magaia; Paulo Rogério Pereira; Miguel Correia 001 (MSWiM, 2017)

Hail to the Thief: Protecting data from mobile ransomware with ransomsafedroid. - Sileshi Demesie Yalew; Gerald Q. Maguire Jr.; Seif Haridi; Miguel Correia 001 (NCA, 2017)

PRIVO: A privacy-preserving opportunistic routing protocol for delay tolerant networks. - Naércio Magaia; Carlos Borrego; Paulo Pereira 001; Miguel Correia 001 (Networking, 2017)

Vulnerability-Tolerant Transport Layer Security. - André Joaquim; Miguel L. Pardal; Miguel Correia 001 (OPODIS, 2017)

Xor-Overlay Topology Management beyond Kademlia. - Erick Lavoie; Miguel Correia 001; Laurie J. Hendren (SASO, 2017)

T2Droid: A TrustZone-Based Dynamic Analyser for Android Applications. - Sileshi Demesie Yalew; Gerald Q. Maguire Jr.; Seif Haridi; Miguel Correia 001 (TrustCom/BigDataSE/ICESS, 2017)

DroidPosture: A trusted posture assessment service for mobile devices. - Sileshi Demesie Yalew; Gerald Q. Maguire Jr.; Seif Haridi; Miguel Correia 001 (WiMob, 2017)

TruApp: A TrustZone-based authenticity detection service for mobile apps. - Sileshi Demesie Yalew; Pedro Mendonça; Gerald Q. Maguire Jr.; Seif Haridi; Miguel Correia 001 (WiMob, 2017)

On the Design of Resilient Multicloud MapReduce. - Pedro A. R. S. Costa; Fernando M. V. Ramos; Miguel Correia 001 (IEEE Cloud Comput., 2017)

State machine replication in containers managed by Kubernetes. - Hylson Vescovi Netto; Lau Cheuk Lung; Miguel Correia 001; Aldelir Fernando Luiz; Luciana Moreira Sá de Souza (J. Syst. Archit., 2017)

Securing Electronic Health Records in the Cloud. - David R. Matos; Miguel L. Pardal; Pedro Adão; António Rito Silva; Miguel Correia 001 (P2DS@EuroSys, 2018)

Fireplug: Flexible and robust N-version geo-replication of graph databases. - Ray Neiheiser; Daniel Presser; Luciana Rech; Manuel Bravo; Luís E. T. Rodrigues; Miguel Correia 001 (ICOIN, 2018)

Storing Critical Data in the Cloud: Challenges and Solutions. - Miguel Pupo Correia (ICSOFT, 2018)

Koordinator: A Service Approach for Replicating Docker Containers in Kubernetes. - Hylson Vescovi Netto; Aldelir Fernando Luiz; Miguel Correia 001; Luciana de Oliveira Rech; Caio Pereira Oliveira (ISCC, 2018)

RockFS: Cloud-backed File System Resilience to Client-Side Attacks. - David R. Matos; Miguel L. Pardal; Georg Carle; Miguel Correia 001 (Middleware, 2018)

Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions. - Nuno O. Duarte; Sileshi Demesie Yalew; Nuno Santos 001; Miguel Correia 001 (MobiQuitous, 2018)

Introspection for ARM TrustZone with the ITZ Library. - Miguel Guerra; Benjamin Taubmann; Hans P. Reiser; Sileshi Demesie Yalew; Miguel Correia 001 (QRS, 2018)

S-Audit: Efficient Data Integrity Verification for Cloud Storage. - Filipe Apolinario; Miguel L. Pardal; Miguel Correia 001 (TrustCom/BigDataSE, 2018)

FlowHacker: Detecting Unknown Network Attacks in Big Traffic Data Using Network Flows. - Luis Sacramento; Iberia Medeiros; Joao Bota; Miguel Correia 001 (TrustCom/BigDataSE, 2018)

Pando: a Volunteer Computing Platform for the Web. - Erick Lavoie; Laurie J. Hendren; Frederic Desprez; Miguel Correia 001 (CoRR, 2018)

Benchmarking Static Analysis Tools for Web Security. - Paulo Jorge Costa Nunes; Iberia Medeiros; José Fonseca 002; Nuno Neves 001; Miguel Correia 001; Marco Vieira (IEEE Trans. Reliab., 2018)

ePRIVO: An Enhanced PRIvacy-preserVing Opportunistic Routing Protocol for Vehicular Delay-Tolerant Networks. - Naércio Magaia; Carlos Borrego; Paulo Rogério Pereira; Miguel Correia 001 (IEEE Trans. Veh. Technol., 2018)

REPSYS: A Robust and Distributed Incentive Scheme for Collaborative Caching and Dissemination in Content-Centric Cellular-Based Vehicular Delay-Tolerant Networks. - Naércio Magaia; Zhengguo Sheng; Paulo Rogério Pereira; Miguel Correia 001 (IEEE Wirel. Commun., 2018)

BlockSim: Blockchain Simulator. - Carlos Faria; Miguel Correia 001 (Blockchain, 2019)

Pando: Personal Volunteer Computing in Browsers. - Erick Lavoie; Laurie J. Hendren; Frederic Desprez; Miguel Correia 001 (Middleware, 2019)

OutGene: Detecting Undefined Network Attacks with Time Stretching and Genetic Zooms. - Luís Dias; Hélder Reia; Rui Neves 001; Miguel Correia 001 (NSS, 2019)

JusticeChain: Using Blockchain to Protect Justice Logs. - Rafael Belchior; Miguel Correia 001; André Vasconcelos 001 (OTM Conferences, 2019)

Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC. - Erick Lavoie; Laurie J. Hendren; Frédéric Desprez; Miguel Correia 001 (SASO, 2019)

An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios. - Paulo Jorge Costa Nunes; Ibéria Medeiros; José Fonseca 002; Nuno Neves 001; Miguel Correia 001; Marco Vieira (Computing, 2019)

SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS. - Ibéria Medeiros; Miguel Beatriz; Nuno Neves 001; Miguel Correia 001 (IEEE Trans. Reliab., 2019)

Blockchain Ecosystem for Verifiable Qualifications. - Diogo Serranito; André Vasconcelos 001; Sérgio Guerreiro 001; Miguel Correia 001 (BRAINS, 2020)

Towards Secure, Decentralized, and Automatic Audits With Blockchain. - Rafael Belchior; Miguel Correia 001; André Vasconcelos 001 (ECIS, 2020)

Poster: Speeding Up Network Intrusion Detection. - João Romeiras Amado; Salvatore Signorello; Miguel Correia 001; Fernando M. V. Ramos (ICNP, 2020)

Multi-Language Web Vulnerability Detection. - Alexandra Figueiredo; Tatjana Lide; Miguel Correia 001 (ISSRE Workshops, 2020)

MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel P. Correia 001 (MobiQuitous, 2020)

Go With the Flow: Clustering Dynamically-Defined NetFlow Features for Network Intrusion Detection with DynIDS. - Luís Dias; Simão Valente; Miguel Correia 001 (NCA, 2020)

MERLIN: Multi-Language Web Vulnerability Detection. - Alexandra Figueiredo; Tatjana Lide; David R. Matos; Miguel Correia 001 (NCA, 2020)

Cryptojacking Detection with CPU Usage Metrics. - Fábio Gomes; Miguel Correia 001 (NCA, 2020)

CryingJackpot: Network Flows and Performance Counters against Cryptojacking. - Gilberto Gomes; Luís Dias; Miguel Correia 001 (NCA, 2020)

Towards Quantum-Enhanced Machine Learning for Network Intrusion Detection. - Arnaldo Gouveia; Miguel Correia 001 (NCA, 2020)

Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum. - Filipe F. Martins; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (NCA, 2020)

P2CSTORE: P2P and Cloud File Storage for Blockchain Applications. - Marcelo Silva; Miguel Matos; Miguel Correia 001 (NCA, 2020)

SSIBAC: Self-Sovereign Identity Based Access Control. - Rafael Belchior; Benedikt Putz; Günther Pernul; Miguel Correia 001; André Vasconcelos 001; Sérgio Guerreiro 001 (TrustCom, 2020)

C2BID: Cluster Change-Based Intrusion Detection. - Tiago Fernandes; Luís Dias; Miguel Correia 001 (TrustCom, 2020)

A Survey on Business Process View Integration. - Rafael Belchior; Sérgio Guerreiro 001; André Vasconcelos 001; Miguel Correia 001 (CoRR, 2020)

Decentralized Business Process Control using Blockchain An experience report from two applications: Food Supply Chain and Car Registration. - Sérgio Guerreiro 001; Diogo Silva; Tiago Rosado; André Vasconcelos 001; Miguel Correia 001; Pedro Sousa 002 (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2020)

MultiTLS: Secure communication channels with cipher suite diversity. - Ricardo Moura; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (IACR Cryptol. ePrint Arch., 2020)

Fireplug: Efficient and Robust Geo-Replication of Graph Databases. - Ray Neiheiser; Luciana Rech; Manuel Bravo; Luís E. T. Rodrigues; Miguel Correia 001 (IEEE Trans. Parallel Distributed Syst., 2020)

Enabling Cross-Jurisdiction Digital Asset Transfer. - Rafael Belchior; André Vasconcelos 001; Miguel Correia 001; Thomas Hardjono (SCC, 2021)

CyberVTI: Cyber Visualization Tool for Intrusion Detection. - Pedro Marques; Luís Dias; Miguel Correia 001 (NCA, 2021)

Virtual Static Security Analyzer for Web Applications. - Mihail Brinza; Miguel Correia 001; João Pereira (TrustCom, 2021)

Secure cloud-of-clouds storage with space-efficient secret sharing. - Ahad Niknia; Miguel Correia 001; Jaber Karimpour (J. Inf. Secur. Appl., 2021)

ComSEC: Secure Communications for Baggage Handling Systems. - Filipe Apolinário; João Guiomar; Éric Hervé; Sven Hrastnik; Nelson Escravana; Miguel L. Pardal; Miguel Correia 001 (CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS, 2022)

FingerCI: generating specifications for critical infrastructures. - Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L. Pardal; Miguel Correia 001 (SAC, 2022)

Anonymous Trusted Data Relocation for TEEs. - Vasco Guita; Daniel Andrade; João Nuno Silva; Miguel Correia 001 (SEC, 2022)

SRX-Secure Data Backup and Recovery for SGX Applications. - Daniel Andrade; João Silva; Miguel Correia 001 (IEEE Access, 2022)

A survey on business process view integration: past, present and future applications to blockchain. - Rafael Belchior; Sérgio Guerreiro 001; André Vasconcelos 001; Miguel Correia 001 (Bus. Process. Manag. J., 2022)

Learning to generate Reliable Broadcast Algorithms. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (CoRR, 2022)

A Survey on Blockchain Interoperability: Past, Present, and Future Trends. - Rafael Belchior; André Vasconcelos 001; Sérgio Guerreiro 001; Miguel Correia 001 (ACM Comput. Surv., 2022)

Hermes: Fault-tolerant middleware for blockchain interoperability. - Rafael Belchior; André Vasconcelos 001; Miguel Correia 001; Thomas Hardjono (Future Gener. Comput. Syst., 2022)

Omega: A Secure Event Ordering Service for the Edge. - Cláudio Correia; Miguel Correia 001; Luís Rodrigues 001 (IEEE Trans. Dependable Secur. Comput., 2022)

Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages. - Ibéria Medeiros; Nuno Neves 001; Miguel Correia 001 (IEEE Trans. Reliab., 2022)

Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge. - Cláudio Correia; Miguel Correia 001; Luís E. T. Rodrigues (CCS, 2023)

Automatic Generation of Distributed Algorithms with Generative AI. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (DSN-S, 2023)

Decentralised Autonomous Organisations for Public Procurement. - Felix Monteiro; Miguel Correia 001 (EASE, 2023)

CBDC Bridging between Hyperledger Fabric and Permissioned EVM-based Blockchains. - André Augusto; Rafael Belchior; Imre Kocsis; László Gönczy; André Vasconcelos 001; Miguel Correia 001 (ICBC, 2023)

Global and Local Explanations for Skin Cancer Diagnosis Using Prototypes. - Carlos Santiago; Miguel Correia 001; Maria Rita Verdelho; Alceu Bissoto; Catarina Barata (ISIC/Care-AI/MedAGI/DeCaF@MICCAI, 2023)

I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX. - Daniel Andrade; João Nuno Silva; Miguel Correia 001 (PRDC, 2023)

PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems. - Cláudio Correia; Rita Prates; Miguel Correia 001; Luís E. T. Rodrigues (PRDC, 2023)

Deduplication vs Privacy Tradeoffs in Cloud Storage. - Rodrigo Silva; Cláudio Correia; Miguel Correia 001; Luís E. T. Rodrigues (SAC, 2023)

Poster: In-Network ML Feature Computation for Malicious Traffic Detection. - João Romeiras Amado; Francisco Chamiça Pereira; Salvatore Signorello; Miguel Correia 001; Fernando M. V. Ramos (SIGCOMM, 2023)

TrustGlass: Human-Computer Trusted Paths with Augmented Reality Smart Glasses. - Hélio Borges; Daniel Andrade; João Nuno Silva; Miguel Correia 001 (TrustCom, 2023)

μVerum: Intrusion Recovery for Microservice Applications. - David R. Matos; Miguel L. Pardal; António Rito Silva; Miguel Correia 001 (IEEE Access, 2023)

Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (IEEE Access, 2023)

Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge (Extended Version). - Cláudio Correia; Miguel Correia 001; Luís E. T. Rodrigues (CoRR, 2023)

Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols. - Alysson Bessani; Miguel Correia 001; Tobias Distler; Rüdiger Kapitza; Paulo Esteves Veríssimo; Jiangshan Yu (CoRR, 2023)

Do You Need a Distributed Ledger Technology Interoperability Solution? - Rafael Belchior; Luke Riley; Thomas Hardjono; André Vasconcelos 001; Miguel Correia 001 (Distributed Ledger Technol. Res. Pract., 2023)

MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (IEEE Trans. Cloud Comput., 2023)

Sanare: Pluggable Intrusion Recovery for Web Applications. - David R. Matos; Miguel L. Pardal; Miguel Correia 001 (IEEE Trans. Dependable Secur. Comput., 2023)

MultiTLS: using multiple and diverse ciphers for stronger secure channels. - Ricardo Moura; Ricardo Lopes; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (Comput. Secur., 2023)

Monintainer: An orchestration-independent extensible container-based monitoring solution for large clusters. - Miguel Correia 001; Wellington Oliveira; José Cecílio (J. Syst. Archit., 2023)

Benchmarking Blockchain Bridge Aggregators. - Shankar Subramanian; André Augusto; Rafael Belchior; André Vasconcelos 001; Miguel Correia 001 (Blockchain, 2024)

Blockchain-based Rental Documentation Management with Audit Support. - João F. Santos; Miguel P. Correia 001; Tiago R. Dias (BRAINS, 2024)

Multi-Party Cross-Chain Asset Transfers. - André Augusto; Rafael Belchior; André Vasconcelos 001; Miguel Correia 001; Thomas Hardjono (ICBC, 2024)

An Enterprise Architecture Approach to Semantic Blockchain Interoperability. - Sebastião Sotto-Mayor; Rafael Belchior; Miguel Correia 001; André Vasconcelos 001 (ICEIS (2), 2024)

SoK: Security and Privacy of Blockchain Interoperability. - André Augusto; Rafael Belchior; Miguel Correia 001; André Vasconcelos 001; Luyao Zhang 001; Thomas Hardjono (SP, 2024)

XAI for Skin Cancer Detection with Prototypes and Non-Expert Supervision. - Miguel Correia 001; Alceu Bissoto; Carlos Santiago; Catarina Barata (CoRR, 2024)

Blockchain Based Residential Smart Rent. - André S. Proença; Tiago R. Dias; Miguel P. Correia 001 (CoRR, 2024)

Peregrine: ML-based Malicious Traffic Detection for Terabit Networks. - João Romeiras Amado; Francisco Pereira 004; David Pissarra; Salvatore Signorello; Miguel Correia 001; Fernando M. V. Ramos (CoRR, 2024)

XChainWatcher: Monitoring and Identifying Attacks in Cross-Chain Bridges. - André Augusto; Rafael Belchior; Jonas Pfannschmidt; André Vasconcelos 001; Miguel Correia 001 (CoRR, 2024)

FingerCI: Writing industrial process specifications from network traffic. - Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L. Pardal; Miguel Correia 001 (Int. J. Crit. Infrastructure Prot., 2024)

Editorial: Special issue on software protection and attacks. - Michele Ianni; Mila Dalla Preda; Kim-Kwang Raymond Choo; Miguel Pupo Correia (J. Inf. Secur. Appl., 2024)

BUNGEE: Dependable Blockchain Views for Interoperability. - Rafael Belchior; Limaris Torres; Jonas Pfannschmidt; André Vasconcelos 001; Miguel Correia 001 (Distributed Ledger Technol. Res. Pract., 2024)

Hephaestus: Modeling, Analysis, and Performance Evaluation of Cross-Chain Transactions. - Rafael Belchior; Peter Somogyvari; Jonas Pfannschmidt; André Vasconcelos 001; Miguel Correia 001 (IEEE Trans. Reliab., 2024)

A Brief History of Blockchain Interoperability. - Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos 001; Miguel Correia 001 (Commun. ACM, 2024)

PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems. - Cláudio Correia; Rita Prates; Luís Fonseca; Miguel Correia 001; Luís E. T. Rodrigues (Formal Aspects Comput., 2024)

Looking for Anomalies in Cross-Chain Bridges. - André Augusto; Rafael Belchior; Jonas Pfannschmidt; André Vasconcelos 001; Miguel Correia 001 (DSN-S, 2025)

Handling Assets in the Secure Asset Transfer Protocol - One Schema to Handle Them All (Position Paper). - Rodolfo Carapau; André Augusto; André Vasconcelos 001; Miguel Correia 001 (EDCC-C, 2025)

A Decentralized Marketplace for Tokenized Real Estate. - Duarte Costa; João Santos; Tiago Dias 006; Miguel P. Correia 001 (EDCC-C, 2025)

Web 3 Data Matching for Blockchain-Supported Real Estate (Position Paper). - Henrique Lin; João F. Santos; Tiago Dias 006; Miguel P. Correia 001 (EDCC-C, 2025)

Visualization of Cross-Chain Transactions for Secure Blockchain Interoperability (Position Paper). - Jorge Santos; André Augusto; André Vasconcelos 001; Miguel Correia 001 (EDCC-C, 2025)

AI-Generated Distributed Algorithms: Paving the Way for More Dependable Distributed Systems. - Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia 001 (EDCC-C, 2025)

Cyber Attacks on Commercial Drones: A Review. - Bruno Branco; José Silvestre Serra Silva; Miguel Correia 001 (IEEE Access, 2025)

An efficient blockchain for decentralized ABAC policy decision point. - Qiwei Hu; Miguel Correia 001; Tao Jiang 002 (Future Gener. Comput. Syst., 2025)

XChainDataGen: A Cross-Chain Dataset Generation Framework. - André Augusto; André Vasconcelos 001; Miguel Correia 001; Luyao Zhang 001 (CoRR, 2025)

Blockchain Oracles for Real Estate Rental. - Nuno Braz; João F. Santos; Tiago Dias 006; Miguel Correia 001 (CoRR, 2025)