Abyss: Autonomic Byzantine Fault-Tolerant Systems

(PTDC/EEI-SCR/1741/2014)

(Funded by Fundação para a Ciência e Tecnologia)

1/07/2016-31/12/2019

Abstract

Partners

INESC-ID
LASIGE

Team

Adriano Serckumecka
Alysson Neves Bessani
Angel Manuel Bravo Gestoso
Bernardo Brito da Palma
Carlos Eduardo Alves Carvalho
Diogo Filipe dos Santos Vilela
Francisco Miguel Caramelo Duarte
Frederico Miguel Reis Sabino
Hugo Alexandre Tavares Miranda
Luís Eduardo Teixeira Rodrigues (PI)
Maria Antónia Bacelar da Costa Lopes
Miguel Garcia Tavares Henriques
Miguel Nuno Dias Alves Pupo Correia
Miguel Neves Pasadinhas
Nuno Miguel Carvalho dos Santos
Paolo Romano
Pedro Miguel Marcos Joaquim
Richard Joaquin Gil Martinez
Robin Vassantlal
Taras Lykhenko
Válter Emanuel Trecitano da Costa Santos
Xavier Araújo Morgado Vilaça

Thesis

PhD Thesis

• Xavier Araújo Morgado Vilaça
  (advisor: Luis Rodrigues)
  Sustaining Cooperation in Dependable Systems: a Game Theorectical Approach
  SPhD Thesis. Instituto Superior Técnico, Universidade de Lisboa.
  December, 2016.
• Manuel Bravo
  (advisors: Luis Rodrigues and Peter van Roy)
  Metadata Management in Causally Consistent Systems.
  Instituto Superior Técnico (IST), Universidade de Lisboa and Université catholique de Louvain.
  May, 2018.
• Richard Martinez
  (advisors: Luis Rodrigues and Antónia Lopes and Peter van Roy)
  Automated Planning to Support the Deployment and Management of Applications in Cloud Environments
  Instituto Superior Técnico (IST), Universidade de Lisboa and Université catholique de Louvain.
  August, 2018.
• Miguel Garcia Tavares Henriques
  (advisors: Alysson Bessani and Nuno Neves)
  Diverse Intrusion-tolerant Systems
  Faculdade de Ciências da Universidade de Lisboa.
  2019.

MSc Thesis

• Frederico Miguel Reis Sabino
  (advisor: Luis Rodrigues)
  ByTAM: a Byzantine Fault Tolerant Adaptation Manager
  MSc Thesis. Instituto Superior Técnico, Universidade de Lisboa.
  September, 2016.
• Francisco Miguel Caramelo Duarte
  (advisor: Luis Rodrigues)
  Learning Adaptation Models Under Non-Determinism
  MSc Thesis. Instituto Superior Técnico, Universidade de Lisboa.
  November, 2016.
• Carlos Eduardo Alves Carvalho
  (advisor: Luis Rodrigues)
  Dynamic Adaptation of Byzantine Fault Tolerant Protocols
  MSc Thesis. Instituto Superior Técnico, Universidade de Lisboa.
  November, 2017.
• Bernardo Brito da Palma
  (advisor: Luis Rodrigues)
  Byzantine Fault Tolerant Monitoring of Distributed Systems
  MSc Thesis. Instituto Superior Técnico, Universidade de Lisboa.
  November, 2017.
• Miguel Neves Pasadinhas
  (advisor: Luis Rodrigues)
  Policy-Based Adaptation of Byzantine Fault Tolerant Systems
  MSc Thesis. Instituto Superior Técnico, Universidade de Lisboa.
  November, 2017.
• Pedro Miguel Marcos Joaquim
  (advisor: Luis Rodrigues)
  Leveraging Transient Resources for Incremental Graph Processing on Heterogeneous Infrastructures
  MSc Thesis. Instituto Superior Técnico, Universidade de Lisboa.
  November, 2017.
• Robin Vassantlal
  (advisor: Alysson Bessani)
  Confidential Byzantine Fault-Tolerant State Machine Replication
  MSc Thesis. Faculdade de Ciências, Universidade de Lisboa.
  October, 2019.

Publications

Journals

• FastRank: Practical Lightweight Tolerance to Rational Behaviour in Edge Assisted Streaming.
  Xavier Vilaça, Luis Rodrigues, João Silva, Hugo Miranda, Gustavo Correia, Tiago Maurício.
  Pervasive and Mobile Computing. Elsevieer, Volume 46, June 2018, Pages 18-33.
• Demystifying Arm TrustZone: A Comprehensive Survey.
  Sandro Pinto, Nuno Santos.
  ACM Computing Surveys. 2018.
• Using Blockchains to Implement Distributed Measuring Systems.
  Wilson S. Melo Jr, Alysson Bessani, Nuno Neves, Altair Santin, and Luiz Carmo.
  IEEE Transactions on Instrumentation and Measurement. Vol. 68, Num. 5. March 2019.
• Fireplug: Efficient and Robust Geo-Replication of Graph Databases.
  Ray Neiheiser, Luciana Rech, Manuel Bravo, Luis Rodrigues, Miguel Correia
  (under review)

Conference Proceedings

• A Distributed Auctioneer for Resource Allocation in Decentralized Systems.
  A. Khan, X. Vilaça, L. Rodrigues, F. Freitag.
  In Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, (ICDCS), Nara, Japan, June 2016.
• Rational Consensus
  Joseph Y. Halpern and Xavier Vilaça.
  In Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing (PODC '16). Chicago, USA, 137-146. Joseph Y. Halpern and Xavier Vilaça. 2016.
• FastRank: Practical Lightweight Tolerance to Rational Behaviour in Edge Assisted Streaming.
  X. Vilaça, L. Rodrigues, J. Silva and H. Miranda
  In Proceedings of the 18th International Conference on Distributed Computing and Networking (ICDCN 2017), Hyderabad, India, January 2017.
• Accountability in Dynamic Networks.
  X. Vilaça and L. Rodrigues
  In Proceedings of the 18th International Conference on Distributed Computing and Networking (ICDCN 2017), Hyderabad, India, January 2017.
• Automatic Generation of Policies to Support Elastic Scaling in Cloud Environments.
  R. Martinez, A. Lopes, and L. Rodrigues.
  In Proceedings of the 32nd ACM/SIGAPP Symposium on Applied Computing (SAC), Dependable and Adaptive Distributed Systems Track, Marrakesh, Morocco, April 3-7, 2017.
• Saturn: a Distributed Metadata Service for Causal Consistency.
  M. Bravo, L. Rodrigues, and P. van Roy.
  In Proceedings of the EuroSys 2017, Belgrade, Serbia, April 2017.
• Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication.
  C. Gunawardhana, M. Bravo, and L. Rodrigues.
  In Proceedings of the 2017 USENIX Annual Technical Conference, Santa Clara (CA), USA, July 2017.
• AUGURE: Proactive Reconfiguration of Cloud Applications using Heterogeneous Resources
  R. Martínez, Z. Li, A. Lopes, L. Rodrigues
  In Proceedings of the 16th IEEE International Symposium on Network Computing and Applications (NCA 2017), Boston (MA), USA, October 2017.
• Fireplug: Flexible and Robust N-version Geo-Replication of Graph Databases
  R. Neiheiser, D. Presser, L. Rech, M. Bravo, L. Rodrigues, M. Correia
  In Proceedings of the 32nd International Conference on Information Networking (ICOIN), Chiang Mai, Thailand, January , 2018.
• Dynamic Adaptation of Byzantine Consensus Protocols
  C. Carvalho, D. Porto, L. Rodrigues, M. Bravo, A. Bessani
  In Proceedings of the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC), Pau, France, April 2018.
• Learning Non-Deterministic Impact Models for Adaptation.
  F. Duarte, R. Gil, P. Romano, A. Lopes and L. Rodrigues.
  In Proceedings of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Gothenburg, Sweden, May 2018.
• Towards Affordable Externally Consistent Guarantees for Geo-Replicated Systems
  M. Bravo and L. Rodrigues
  In Proceedings of the 5th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Porto, Portugal, April 2018.
• Koordinator: A Service Approach for Replicating Docker Containers in Kubernetes
  H. Netto, A. Luiz, M. Correia, L. Rech, C. Oliveira.
  In Proceedings of the 23rd IEEE Symposium on Computers and Communications, Natal, Brazil, June 2018
• On the challenges of building a BFT SCADA
  A. Nogueira, M. Garcia, A. Bessani, N. Neves
  In Proceedings of the 48th International Conference on Dependable Systems and Networks (DSN), Luxembourg City, Luxembourg, June 2018.
• Policy-Based Adaptation of a Byzantine Fault Tolerant Distributed Graph Database
  R. Neiheiser, M. Bravo, L. Rech and L. Rodrigues.
  In Proceedings of the 37th IEEE International Symposium on Reliable Distributed Systems (SRDS), Salvador, Brasil, October 2018.
• RockFS: Cloud-backed File System Resilience to Client-Side Attacks
  D. Matos, M. Pardal, G. Carle, M. Correia
  In Proceedings of the 2018 ACM/IFIP/USENIX International Middleware Conference, Rennes, France, December 2018.
• Hourglass: Leveraging Transient Resources for Time-Constrained Graph Processing in the Cloud.
  P. Joaquim, M. Bravo, L. Rodrigues, M. Matos
  In Proceedings of the EuroSys 2019, Dresden, Germany, March 2019.
• Planning Workflow Executions when Using Spot Instances in the Cloud.
  R. Gil, A. Lopes and L. Rodrigues.
  Proceedings of the 34th ACM Symposium on Applied Computing (Dependable, Adaptive, and Trustworthy Distributed Systems Track), Limassol, Cyprus, April 2019.
• Resilient Wide-Area Byzantine Consensus Using Adaptive Weighted Replication.
  C. Berger, H. P. Reiser, J. Sousa, A. Bessani.
  In Proceedings of the 38th IEEE International Symposium on Reliable Distributed Systems (SRDS), Lyon, France, October 2019.
• Lazarus: Automatic Management of Diversity in BFT Systems.
  M. Garcia, A. Bessani, N. Neves.
  In Proceedings of the 2019 ACM/IFIP International Middleware Conference, Davis, CA, USA, December 2019.
• SLiCER: Safe Long-term Cloud Event Archival.
  A. Serckumecka, I. Medeiros, B. Ferreira, A. Bessani.
  In Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC). Kyoto, Japan. December 2019.

National Conference Proceedings

• ByTAM: um gestor de adaptação tolerante a falhas Bizantinas.
  F. Sabino, D. Porto e L. Rodrigues
  Actas do oitavo Simpósio de Informática (Inforum), Lisboa, Portugal, Sep. 2016.
• Modelação de Sistemas Não-Deterministas Usando Aprendizagem Automática.
  F. Duarte, R. Gil, P. Romano, L. Rodrigues e A. Lopes
  Actas do oitavo Simpósio de Informática (Inforum), Lisboa, Portugal, Sep. 2016.
• Adaptação Dinâmica de Protocolos de Consenso Bizantino.
  C. Carvalho, D. Porto, L. Rodrigues and A. Bessani.
  Actas do nono Simpósio de Informática (Inforum), Aveiro, Portugal, Oct. 2017.
  Prémio melhor artigo de estudante INForum 2017.
• Adaptação Guiada por Políticas de Sistemas Tolerantes a Faltas Bizatinas.
  M. Pasadinhas, D. Porto, A. Lopes and L. Rodrigues.
  Actas do nono Simpósio de Informática (Inforum), Aveiro, Portugal, Oct. 2017.
• Monitorização de Sistemas Tolerantes a Faltas Bizantinas para Suportar Adaptação Dinâmica.
  B. Palma, D. Porto and L. Rodrigues.
  Actas do nono Simpósio de Informática (Inforum), Aveiro, Portugal, Oct. 2017.
• Confidencialidade em Serviços Tolerantes a Intrusão de Longa Duração.
  R. Vassantlal and A. Bessani
  Actas do décimo Simpósio de Informática (Inforum), Guimarães, Portugal, Sep. 2019.