Used in and by...

Projects and publications that use BFT-SMaRt.

Projects

Projects that used BFT-SMaRt as a component of the work developed:

• SEGrid
• SUPERCLOUD
• TClouds
• MASSIF
• SecFuNet
• TRONE
• CloudFit
• ReD
• IBM Faculty Award 2016

Publications

Papers describing different aspects of BFT-SMaRt:

• Bessani, Alysson Neves, and Eduardo Alchieri. A Guided Tour on the Theory and Practice of State Machine Replication.

• Alysson Bessani, João Sousa, Eduardo Alchieri. State Machine Replication for the Masses with BFT-SMaRt. DSN'14: The 2014 IEEE/IFIP International Conference on Dependable Systems and Networks. Atlanta, Georgia, USA. June 2014. An extended version is available as technical report DI-FCUL-TR-2013-07. October 2013. (we kindly ask researchers using BFT-SMaRt to cite this to make it easy for us to track references)

• Alysson Bessani, Marcel Santos, João Felix, Nuno Neves, Miguel Correia. On the Efficiency of Durable State Machine Replication. USENIX’13: USENIX Annual Technical Conference. San Jose, CA, USA. June 2013.

• João Sousa, Alysson Bessani. From Byzantine Consensus to BFT State Machine Replication: A Latency-optimal transformation. EDCC'12: The 9th European Conference on Dependable Computing. Sibiu, Romania. May 2012.

Non-complete list of papers that use BFT-SMaRt or parts of its code base:

• João Sousa, Alysson Bessani, Marko Vukolic. A Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform, 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018.

• C. Y. da Silva Costa, E. A. Pelinson Alchieri, Diversity on State Machine Replication, IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA), Krakow, 2018.

• N. Rakotondravony and H. P. Reiser, Visualizing BFT SMR Distributed Systems - Example of BFT-SMaRt, 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Luxembourg City, 2018.

• André Nogueira, Miguel Garcia, Alysson Bessani, Nuno Neves. On the Challenges of Building a BFT SCADA, 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018

• Cheng Li, Nuno Preguiça, Rodrigo Rodrigues. Fine-grained consistency for geo-replicated systems, Proceedings of the 2018 USENIX Annual Technical Conference.

• R. Neiheiser, D. Presser, L. Rech, M. Bravo, L. Rodrigues and M. Correia, Fireplug: Flexible and robust N-version geo-replication of graph databases, 2018 International Conference on Information Networking (ICOIN), 2018.

• P. Coelho, T. C. Junior, A. Bessani, F. Dotti and F. Pedone, Byzantine Fault-Tolerant Atomic Multicast, 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Luxembourg City, 2018.

• N. O. Ahmed and B. Bhargava. From Byzantine Fault-Tolerance to Fault-Avoidance: An Architectural Transformation to Attack and Failure Resiliency, in IEEE Transactions on Cloud Computing, 2018.

• Yu, Jiangshan, David Kozhaya, Jérémie Decouchant and Paulo Veríssimo. RepuCoin: Your Reputation is Your Power. IACR Cryptology ePrint Archive, 2018.

• Carlos Carvalho, Daniel Porto, Luís Rodrigues, Manuel Bravo, and Alysson Bessani. Dynamic adaptation of byzantine consensus protocols. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC '18). ACM, New York, NY, USA, 2018.

• M. Garcia, N. Neves and A. Bessani, SieveQ: A Layered BFT Protection System for Critical Services, in IEEE Transactions on Dependable and Secure Computing, vol. 15, no. 3, pp. 511-525, 2018.

• Christian Berger, Hans P. Reiser. WebBFT: Byzantine Fault Tolerance for Resilient Interactive Web Applications, Distributed Applications and Interoperable Systems, 2018.

• A. Nogueira, A. Casimiro, A. Bessani, Elastic State Machine Replication, in IEEE Transactions on Parallel and Distributed Systems, vol. 28, no. 9, pp. 2486-2499, 1 Sept. 2017.

• E. Alchieri, F. Dotti, O. M. Mendizabal, F. Pedone, Reconfiguring Parallel State Machine Replication, 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), Hong Kong, 2017.

• Adrian R Chavez, Parametrization and Effectiveness of Moving Target Defense Security Protections within Industrial Control Systems, PhD dissertation, Department of Computer Science, University of California, Davis, 2017.

• F. Botelho, T. A. Ribeiro, P. Ferreira, F. M. V. Ramos, A. Bessani. Design and Implementation of a Consistent Data Store for a Distributed SDN Control Plane, 2016 12th European Dependable Computing Conference (EDCC), Gothenburg, 2016.

• Mike Hearn. Corda: A Distributed Ledger, White Paper, 2016.

• Frederico Miguel Reis Sabino, ByTAM: a Byzantine Fault Tolerant Adaptation Manager, MSc Thesis at U. Lisboa, IST, Sep. 2016.

• Diego Kreutz, Oleksandr Malichevskyy, Eduardo Feitosa, Hugo Cunha, Rodrigo da Rosa Righi, Douglas D.J. de Macedo. A cyber-resilient architecture for critical security services. Journal of Network and Computer Applications, volume 63, issue C, pages 173–189. Elsevier B.V. March 2016.

• Johannes Behl, Tobias Distler, Rüdiger Kapitza. Consensus-Oriented Parallelization: How to Earn Your First Million. Middleware'15: Proceedings of the 16th Annual Middleware Conference. Vancouver, Canada. December 2015.

• Rayol Neto, Bruno Barreto, Diego Kreutz, Aldri Santos, Eduardo Feitosa. FIT-LDAP: Um Serviço de Diretório Tolerante a Falhas e Intrusões. SBSeg'15: XV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Florianópolis, Brazil. November 2015.

• Caio Costa, Eduardo Alchieri. Uso de Diversidade em Replicação de Máquina de Estados para Aumentar a Segurança das Aplicações. WPOS'15: Workshop da Pós-Graduação em Computação. Brasília, Brazil. October 2015.

• João Sousa, Alysson Bessani. Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines. SRDS'15: The IEEE 34th Symposium on Reliable Distributed Systems. Montreal, Quebec, Canada. September 2015.

• Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste. Securing Passive Replication Through Verification. SRDS'15: The IEEE 34th Symposium on Reliable Distributed Systems. Montreal, Quebec, Canada. September 2015.

• Daniel Porto, João Leitão, Cheng Li, Allen Clement, Aniket Kate, Flavio Junqueira, Rodrigo Rodrigues. Visigoth fault tolerance. Eurosys'15: Proceedings of the 10th European Conference on Computer Systems. Bordeaux, France. April 2015.

• Tobias Distler, Christopher Bahn, Alysson Bessani, Frank Fischer, Flavio Junqueira. Extensible distributed coordination. Eurosys'15: Proceedings of the 10th European Conference on Computer Systems. Bordeaux, France. April 2015.

• Fábio Botelho, Alysson Bessani, Fernando Ramos, Paulo Ferreira. On the Design of Practical Fault-Tolerant SDN Controllers. EWSDN'14: 3rd European Workshop on Software Defined Networks. Budapest, Hungary. September 2014.

• Fábio Botelho, Alysson Bessani, Fernando Ramos, Paulo Ferreira. Smartlight: A practical fault-tolerant SDN controller. Technical Report 1407.6062. July 2014.

• Alysson Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Neves, Miguel Correia, Marcelo Pasin, Paulo Verissimo. SCFS: a Shared Cloud-backed File System. USENIX’14: USENIX Annual Technical Conference. Philadelphia, USA. June 2014.

• Diego Kreutz, Oleksandr Malichevskyy, Eduardo Feitosa, Kaio Barbosa, Hugo Cunha. System design artifacts for resilient identification and authentication infrastructures. ICNS'14: The 10th International Conference on Networking and Services. Chamonix, France. April 2014.

• Diego Kreutz, Alysson Bessani, Eduardo Feitosa, Hugo Cunha. Towards secure and dependable authentication and authorization infrastructures. PRDC'14: The 20th IEEE Pacific Rim International Symposium on Dependable Computing. Singapore. November 2014.

• Aldelir Fernando Luiz, Lau Cheuk Lung, Miguel Correia. MITRA: byzantine fault-tolerant middleware for transaction processing on replicated databases. SIGMOD Record, volume 43 issue 1, pages 32-38. Association for Computing Machinery. March 2014.

• Julian James Stephen, Patrick Eugster. Assured Cloud-Based Data Analysis with ClusterBFT. Middleware'13: The 14th ACM/IFIP/USENIX International Middleware Conference. Beijing, China. December 2013.

• Rolando Martins , Rajeev Gandhi , Priya Narasimhan , Soila Pertet , Antonio Casimiro , Diego Kreutz, Paulo Verissimo. Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol. Middleware'13: The 14th ACM/IFIP/USENIX International Middleware Conference. Beijing, China. December 2013.

• Fábio Botelho, Fernando Ramos, Diego Kreutz, Alysson Bessani. On the feasibility of a consistent and fault-tolerant data store for SDNs. EWSDN'13: 2nd European Workshop on Software Defined Networks. Berlin, Germany. October 2013.

• Vinicius Cogo, André Nogueira, João Sousa, Marcelo Pasin, Hans P. Reiser, Alysson Bessani. FITCH: Supporting Adaptive Replicated Services in the Cloud. DAIS'13: 13th International IFIP Conference on Distributed Applications and Interoperable Systems. Florence, Italy. June 2013.

• Giuliana Veronese, Miguel Correia, Alysson Bessani, Lau Lung, Paulo Verissimo. Efficient Byzantine Fault Tolerance. IEEE Transactions on Computers, volume 62, issue 1, pages 16-30. IEEE Computer Society. January 2013.

• Rüdiger Kapitza, Johannes Behl, Christian Cachin, Tobias Distler, Simon Kuhnle, Seyed Vahid Mohammadi, Wolfgang Schröder-Preikschat, Klaus Stengel. CheapBFT: Resource-efficient Byzantine Fault Tolerance. EuroSys'12: The 7th ACM SIGOPS/EuroSys European Systems Conference. Bern, Switzerland. April 2012.

• Giuliana Veronese, Miguel Correia, Alysson Bessani, Lau Lung. EBAWA: Efficient Byzantine Agreement for Wide-Area Networks. HASE'10: The 12th IEEE International High Assurance Systems Engineering Symposium. San Jose, CA, USA. November 2010.

• Eduardo Adilio Pelinson Alchieri, Alysson Neves Bessani, Joni da Silva Fraga. A Dependable Infrastructure for Cooperative Web Services Coordination. International Journal of Web Services Research, volume 7, issue 2, pages 43-64. Idea Group Publishing. 2010.

• Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung. Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary. SRDS'09: The 30th IEEE Symposium on Reliable Distributed Systems. Niagara Falls, USA. September 2009.

• Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung. An Efficient Byzantine-Resilient Tuple Space. IEEE Transactions on Computers, volume 58, issue 8, pages 1080-1094. IEEE Computer Society. August 2009.

• Alysson Neves Bessani, Eduardo Adilio Pelinson Alchieri, Miguel Correia, Joni da Silva Fraga. DepSpace: A Byzantine Fault-Tolerant Coordination Service. EuroSys'08: The 3rd ACM SIGOPS/EuroSys European Systems Conference. Glasgow, Scotland. April 2008.

• Wagner Saback Dantas, Alysson Neves Bessani, Joni da Silva Fraga, Miguel Correia. Evaluating Byzantine Quorum Systems. SRDS'07: The 26th IEEE International Symposium on Reliable Distributed Systems. Beijing, China. October 2007.