miguel pupo correia           

Blockchain and Byzantine Consensus

Byzantine consensus is a problem studied since the later 1970s and Blockchain/cryptocurrencies is arguably its killer application. I have been doing research on Byzantine consensus, state machine replication, intrusion tolerance, and related topics since the early 2000s, often on using trusted components for efficiency, and now I have several ongoing projects on Blockchain.

Current team: Rafael Belchior, Diogo Serranito, Filipe Martins, Marcelo Silva, André Nunes

Software prototypes: BlockSim, RITAS, MinBFT, MinZyzzyna, Spinning, EBAWA

Selected publications:

Rafael Belchior, André Vasconcelos, Sérgio Guerreiro, Miguel Correia. A Survey on Blockchain Interoperability: Past, Present, and Future Trends. arXiv, May 2929 (abstract, pdf)

Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung, Paulo Verissimo. Efficient Byzantine Fault Tolerance. IEEE Transactions on Computers, vol. 62, n. 1, pp. 16-30, Jan. 2013 (pdf); MinBFT now being implemented by the Hyperledger project!

Carlos Faria and Miguel Correia. BlockSim: Blockchain Simulator. In IEEE Blockchain Symposium, 2019. (pdf)

Henrique Moniz, Nuno F. Neves, M. Correia. Byzantine Fault-Tolerant Consensus in Wireless Ad hoc Networks. IEEE Transactions on Mobile Computing, vol. 12, n. 12, Dec. 2013. (pdf)

Miguel Correia, Nuno F. Neves, Paulo Veríssimo. From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. Computer Journal. vol. 41, n. 1, pp 82-96, January 2006 (abstract) (pdf)

Paulo Veríssimo and Nuno Ferreira Neves and Miguel Correia. Intrusion-Tolerant Architectures: Concepts and Design. In Architecting Dependable Systems, R. Lemos, C. Gacek, A. Romanovsky (eds.), LNCS 2677, pages 3-36, Springer Verlag, 2003. An extended version is available as DI/FCUL TR03-05 (abstract) (pdf) - A long document introducing the main topics in the area and discussing how to design intrusion-tolerant systems.

Other publications:
Ray Neiheiser, Luciana Rech, Manuel Bravo, Luis Rodrigues and Miguel Correia. Fireplug: Efficient and Robust Geo-Replication of Graph Databases. IEEE Transactions on Parallel and Distributed Systems, accepted for publication, 2020 (pdf)

Miguel Correia. From Byzantine Consensus to Blockchain Consensus. In Essentials of Blockchain Technology, Chapter 3, pp. 40-79, CRC Press, 2020. (pdf)

Tiago Rosado, André Vasconcelos, Miguel Correia. A Blockchain Use Case for Car Registration. In Essentials of Blockchain Technology, Chapter 10, pp. 204-233, CRC Press, 2020. (pdf)

Rafael Belchior, Miguel Correia, and André Vasconcelos. JusticeChain: Using Blockchain to Protect Justice Logs. 27th International Conference on Cooperative Information Systems - CoopIS 2019. (pdf)

Roberto Ponte, Ibéria Medeiros, and Miguel Correia. Fuzzing Ethereum Smart Contracts (research statement). DSN Workshop on Byzantine Consensus and Resilient Blockchains (BCRB ’18), June 2018

A. Bessani, M. Santos, J. Félix, N. F. Neves, M. Correia. On The Efficiency of Durable State Machine Replication. In Proceedings of the USENIX Annual Technical Conference (ATC), 2013 (pdf)

M. Correia, N. F. Neves, P. Verissimo. BFT-TO: Intrusion Tolerance with Less Replicas. Computer Journal, vol. 56, n. 6, pp. 693-715, June 2013. (pdf)

M. Correia, G. S. Veronese, N. F. Neves, P. Verissimo. Byzantine Consensus in Asynchronous Message-Passing Systems: A Survey. International Journal of Critical Computer-Based Systems, vol. 2, n. 2, pp. 141-161, 2011. (pdf)

H. Moniz and N. F. Neves and M. Correia and P. Veríssimo. RITAS: Services for Randomized Intrusion Tolerance. IEEE Transactions on Dependable and Secure Computing, vol. 8, n. 1, pp. 122-136, Jan.-Feb. 2011. (pdf)

Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Turquois: Byzantine Consensus in Wireless Ad hoc Networks, Proceedings of the International Conference on Dependable Systems and Networks (DSN), Chicago, USA, June 2010. (pdf)

Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung. EBAWA: Efficient Byzantine Agreement for Wide-Area Networks. In 12th IEEE International High Assurance Systems Engineering Symposium (HASE). November 2010. (pdf)

Miguel Correia, Giuliana Santos Veronese, Lau Cheuk Lung, Asynchronous Byzantine Consensus with 2f+1 Processes, In Proceedings of the 25th Annual ACM Symposium on Applied Computing, March 2010. (pdf)

Paulo Verissimo, Miguel Correia, Nuno F. Neves, Paulo Sousa. Intrusion-Resilient Middleware Design and Validation. In Information Assurance, Security and Privacy Services, H. Raghav Rao and Shambhu Upadhyaya (eds.), pages 615-678, Emerald, 2009. (pdf)

Miguel Correia, Alysson Neves Bessani, Paulo Verissimo. On Byzantine Generals with Alternative Plans. Journal of Parallel and Distributed Computing, Volume 68, Issue 9, pp 1291-1296, Sep. 2008 (abstract) (pdf)

H. Moniz and N. F. Neves and M. Correia and P. Veríssimo. Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. In Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems. pages 235-244, Leeds, UK, October 2006 (pdf)

Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo. Low Complexity Byzantine-Resilient Consensus. Distributed Computing, vol. 17, n. 3, pp. 237-249, March 2005. (abstract) (pdf)

Nuno F. Neves, Miguel Correia, Paulo Veríssimo. Solving Vector Consensus with a Wormhole. IEEE Transactions on Parallel and Distributed Systems, Volume 16,  Issue 12,  Dec. 2005 pp 1120 - 1131 (pdf)

M. Correia and N. F. Neves and P. Veríssimo. How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. In Proceedings of the 23rd IEEE Symposium on Reliable Distributed Systems. Florianopolis, Brasil, pages 174-183, October 2004. (pdf) - The paper in which we show how to implement Byzantine fault-tolerant state machine replication with only 2f+1 replicas (or half less one faulty replicas).

Miguel P. Correia. Serviços Distribuídos Tolerantes a Intrusões: resultados recentes e problemas abertos. V Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais - Livro Texto dos Minicursos, pp. 113-162, Sociedade Brasileira de Computação, Setembro de 2005 (pdf) (slides) (versão extendida, also as DI-FCUL tech report) - A book chapter surveying work on intrusion-tolerant distributed services (in portuguese).

copyright notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders: IEEE, ACM, Springer-Verlag, Elsevier, Oxford University Press. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

home | last update: 02-10-2018