| | 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 students: Carlos Faria, António Tavares, Paulo Anjos, Tiago Rosado, Jorge Alves, Luís Pereira, Pedro Martins
Software prototypes: RITAS, MinBFT, MinZyzzyna, Spinning, EBAWA
Selected publications:
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!
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)
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)
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:
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)
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.
|