List of works - Miguel Correia

BUNGEE: Dependable Blockchain Views for Interoperability

scholarly article

Byzantine consensus in asynchronous message-passing systems: a survey

CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture

article by Paulo Esteves Verissimo et al published 2006 in Lecture Notes in Computer Science

Decentralised Autonomous Organisations for Public Procurement

scientific article published on 30 May 2023

Deduplication vs Privacy Tradeoffs in Cloud Storage

scientific article published on 07 June 2023

Do You Need a Distributed Ledger Technology Interoperability Solution?

scientific article published on 07 November 2022

Efficient Byzantine Fault-Tolerance

Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols

Finite Memory: A Vulnerability of Intrusion-Tolerant Systems

From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures

Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery

Low complexity Byzantine-resilient consensus

MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service

scientific article published in 2023

On Byzantine generals with alternative plans

On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds

PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems

scientific article published on 02 August 2024

RITAS: Services for Randomized Intrusion Tolerance

Randomization Can Be a Healer: Consensus with Dynamic Omission Failures

Randomization can be a healer: consensus with dynamic omission failures

The CRUTIAL Architecture for Critical Information Infrastructures

The CRUTIAL reference critical information infrastructure architecture: a blueprint

article by Paulo Esteves Verissimo et al published 2008 in International Journal of System of Systems Engineering

List of works by Miguel Correia