Technische Universität Braunschweig
  • Study & Teaching
    • Beginning your Studies
      • Prospective Students
      • Degree Programmes
      • Application
      • Fit4TU
    • During your Studies
      • Freshmen-Hub
      • Term Dates
      • Information for Freshman
      • Practical Information
      • Additional Qualifications
      • Financing and Costs
      • Special Circumstances
      • Campus life
    • At the End of your Studies
      • Discontinuation and Credentials Certification
      • After graduation
      • Alumni
    • For Teaching Staff
      • Strategy, Offers and Information
      • Learning Management System Stud.IP
      • Team Teaching and Media Education
    • Contact
      • Student Advice Centre
      • Academic Advice Service
      • Admissions Office
  • Research
    • Research Profile
      • Core Research Areas
      • Clusters of Excellence
      • Research Projects
      • Research Centres
    • Early Stage Researchers
      • Promotion of early career scientists
      • PhD-Students
      • Postdocs
      • Junior research group leaders
      • Junior Professorship and Tenure-Track
      • Habilitation
      • Service Offers for Scientists
    • Research Data & Transparency
      • Transparency in Research
      • Research Data
      • Open Access Strategy
      • Digital Research Announcement
    • Research Funding
      • Research funding
    • Contact
      • Research Services
      • Academy for Graduates
  • International
    • International Students
      • Why Braunschweig?
      • Degree seeking students
      • Exchange Studies
      • Doctorate (PhD)
      • Refugee Students
      • Welcome Programme
      • TU Braunschweig Summer School
    • Scientists
      • Mobile Researchers at the TU Braunschweig
      • Research Services and European Office
    • Language and intercultural competence training
      • Learning German
      • Intercultural Communication
    • International Profile
      • Internationalisation
      • International Cooperation
    • International House
      • Information for first semester students
      • Contact
      • News and Events
      • Advisory Services
      • Location
      • About us
  • TU Braunschweig
    • Our Profile
      • Aims & Values
      • Regulations and Guidelines
      • Alliances & Partners
      • Facts & Figures
      • Our History
    • Career
      • Working at TU Braunschweig
      • Vacancies
    • Economy & Business
      • Knowledge and Technology Transfer
      • Entrepreneurship
    • General Public
      • Access to the University Library
    • Media Services
      • Communications and Press Service
      • Communications and Press Service
      • Film and photo permits
      • Advices for scientists
      • Topics and stories
    • Contact
      • General Contact
      • Getting here
  • Organisation
    • Presidency & Administration
      • Presidency
      • Designated Offices
      • Administration
      • Committees
    • Faculties
      • Carl-Friedrich-Gauß-Fakultät
      • Faculty of Life Sciences
      • Architecture, Civil Engineering and Environmental Sciences
      • Faculty of Mechanical Engineering
      • Fakultät für Elektrotechnik, Informationstechnik, Physik
      • Faculty of Humanities and Studies in Education
    • Institutes
      • Institutes from A to Z
    • Facilities
      • University Library
      • Gauß-IT-Zentrum
      • International House
      • Sports Centre
      • Facilities from A to Z
    • Equal Opportunity Office
      • Equal Opportunity Office
      • Family
      • Diversity for Students
  • Search
  • Quicklinks
    • People Search
    • Webmail
    • Campus map
    • CloudStorage
    • Messenger
    • Cafeteria
    • Courses
    • Stud.IP
    • Library Catalogue
    • IT Self-Service
    • Information Portal (employees)
    • Link Collection
    • DE
    • EN
    • IBR Twitter
    • IBR YouTube
    • Facebook
    • Twitter
    • Instagram
    • YouTube
    • LinkedIn
Menu
  • Technische Universität Braunschweig
  • Organisation
  • Faculties
  • Carl-Friedrich-Gauß-Fakultät
  • Institutes
  • Institute of Operating Systems and Computer Networks
Logo IBR
IBR Login
  • Institute of Operating Systems and Computer Networks
    • News
    • About us
      • Whole Team
      • Directions
      • Floor Plan
      • Projects
      • Publications
      • Software
      • News Archive
    • Connected and Mobile Systems
      • Team
      • Courses
      • Theses
      • Projects
      • Publications
      • Software
      • Datasets
    • Distributed Systems
      • Team
      • Courses
      • Theses
      • Projects
      • Publications
      • Software
    • Algorithms
      • Team
      • Courses
      • Theses
      • Projects
      • Publications
    • Microprocessor Lab
    • Education
      • Summer 2023
      • Winter 2022/2023
      • Theses
    • Services
      • Library
      • Mailinglists
      • Webmail
      • Knowledge Base
      • Wiki
      • Account Management
      • Services Status
    • Spin-Offs
      • Docoloc
      • AIPARK
      • Confidential Technologies
    • Research Cooperations
      • IST.hub

Seminar Verteilte Systeme: A Walk through BFT History, yet not Enough: Foundations and Challenges

Semester
Winter 2021/2022
Summer 2022Winter 2019/2020Summer 2019Winter 2018/2019Summer 2018Winter 2017/2018Summer 2017Winter 2016/2017Winter 2015/2016Summer 2015Winter 2014/2015Summer 2014Summer 2013Summer 2012
Module #INF-VS-041
ProgrammesComputer Science Bachelor, Computer and Communication Systems Engineering Bachelor, Business Information Systems Bachelor, Computer Science Master, Computer and Communication Systems Engineering Master, Business Information Systems Master
IBR GroupDS (Prof. Kapitza)
TypeSeminar
Lecturers
Photo
Prof. Dr. Rüdiger Kapitza
Ehemaliger Abteilungsleiter
rrkapitz[[at]]ibr.cs.tu-bs.de
Photo
Assoz. Prof. Leander Jehl
Ehemaliger Kommissarischer Abteilungsleiter
jehl[[at]]ibr.cs.tu-bs.de
Assistants
Photo
Ines Messadi
Ehemalige Wissenschaftliche Mitarbeiterin
messadi[[at]]ibr.cs.tu-bs.de
Photo
Kai Bleeke
Ehemaliger Wissenschaftlicher Mitarbeiter
bleeke[[at]]ibr.cs.tu-bs.de
Credits5
Hours0+2
Time & Place

The kick-off meeting will happen online: Wednesday, 27.10.2021, 11:30-13:00, https://bbb.ibr.cs.tu-bs.de/b/ine-2a7-pg3.

Please make sure to attend the kick-off meeting, if you cannot and still wish to participate in the seminar, write an email to Ines Messadi and Kai Bleeke.

The presentations will happen in IBR on pre-agreed date in Room 105

Certificates

Submission of an substantial essay and successful presentation. The grade is determined by the activity in the seminar as well as the quality of essay and presentation.

Registration

The number of participants is limited to 15 students.

The registration is only possible via StudIP.

Content
In this seminar, we look at the foundation and challenges of consensus algorithms. More precisely, the problem of reaching a consensus in an untrusted environment when some nodes send corrupted messages or trich other nodes. These are known as the byzantine fault tolerance algorithms. Despite years of intensive research, BFT algorithms are still evolving with new techniques and emerging challenges. Especially with their emergence as consensus protocols in Blockchain permissioned systems. The goal of this seminar is to explore the development of BFT consensus algorithms in the last decades from a system perspective.

Goal

walkthrough We are going to search for answers to questions like:

  • What the impact of new hardware technologies on BFT systems?
  • How do we model and verify different BFT implementations?
  • How do we model and verify different BFT implementations?
  • What is the difference between PBFT, SBFT and HotStuff ?
  • What is the conceptual difference between rotating leaders, leaderless and stable leaders?

The following is a preliminary list of topics. The papers might be extended or changed. Each participant in the seminar handles a research question from the received papers.

Seminar Topics

TopicAssistant
Foundations and ClassicsInes Messadi
 
  • Practical Byzantine Fault Tolerance
  • Byzantine Fault-Tolerant State-Machine Replication from a Systems Perspective
 
A Deep Look Into the HotStuff AlgorithmKai Bleeke
 
  • Hotstuff: Bft consensus with linearity and responsiveness
  • Sync hotstuff: Simple and practical synchronous state machine replication
  • Fast-hotstuff: A fast and resilient hotstuff protocol
  • Streamlet: Textbook streamlined blockchains
 
Recent Developements in BFT ProtocolsKai Bleeke
 
  • DFINITY Technology Overview Series Consensus System
  • Making Byzantine consensus live
  • Coordination-Free Byzantine Replication with Minimal Communication Costs
 
Rotating Leaders and Leaderless ProtocolsKai Bleeke
 
  • Mir-BFT: High-Throughput Robust BFT for Decentralized Networks
  • Scalable and probabilistic leaderless bft consensus through metastability
  • Basil: Breaking up BFT with ACID (transactions)
 
Safety Violation CasesKai Bleeke
 
  • Revisiting fast practical byzantine fault tolerance
 
The Impact of Trusted hardware based BFT protocols
 
  • Communication-Efficient BFT Protocols Using Small Trusted Hardware to Tolerate Minority Corruption (supervised by Kai Bleeke)
  • Classifying Trusted Hardware via Unidirectional Communication
 
On the Correctness of BFT protocolsInes Messadi
 
  • Asphalion: trustworthy shielding against Byzantine fault
  • Byzantine Ordered Consensus without Byzantine Oligarchy
 
Dezentralized Trust, Scalability and OptimizationsInes Messadi
 
  • SBFT: a Scalable and Decentralized Trust Infrastructure
  • BEAT: Asynchronous BFT Made Practical
  • ByzCoin
  • No-Commit Proofs: Defeating Livelock in BFT
  • Making Reads in BFT State Machine Replication Fast, Linearizable, and Live
 
Stronger Resilience and diversityInes Messadi
 
  • Flexible Byzantine Fault Tolerance
  • BFT Protocol Forensics
  • Strengthened Fault Tolerance in Byzantine Fault Tolerant Replication
 
The Impact of RDMA on AgreementInes Messadi
 
  • Velos: One-sided Paxos for RDMA applications
  • The Impact of RDMA on Agreement
 
Cross Fault ToleranceInes Messadi
 
  • XFT: Practical Fault Tolerance beyond Crashes
 
Cross Fault ToleranceInes Messadi
 
  • XFT: Practical Fault Tolerance beyond Crashes
 
Confidential Verifiable Replicated ServiceInes Messadi
 
  • CCF: A Framework for Building Confidential Verifiable Replicated Services
 
Material
The material is only available to registered attendees. In order to register, you need either an IBR POSIX account or a self-activated IBR-y-account. Afterwards you can login to this site.
Chapter
Slides
Exercises
1. Kick-off
pdfpdfpdf
2.Deadlines
pdfpdfpdf
3.HotStuff Protocol
pdfpdfpdf
4.Basil: Breaking up BFT with ACID
pdfpdfpdf
5.Overview of Byzcoin and Pompe protocols
pdfpdfpdf
Schedule
[ Subscribe Calendar | Download Calendar ]
27.10.2021, 11:30
Kick-off Meeting (BBB)
27.01.2021, 13:12
RDMA impact on agreement (BBB)
References

On World-Wide-Web, there are different ways to enhance your seminar presentations:

  • How to Read a Paper, S. Keshav, University of Waterloo
  • How to Give a Talk, Paul N. Edwards, School of Information, University of Michigan
  • How to Give a Good Presentation

For the literature review these links might be helpful:

  • ACM Digital Library
  • IEEE Xplore
  • Network Bibliography
  • Citeseer (Research Index) citation index
  • Google Scholar

(La)TeX Tips + Tricks

The Seminar

The preferred language for talk and essay is english. Each participant will take one or more papers under a specific topic. Participants are responsible for a peer review, including:

  • Attend peer's presentation dry run and give feedback.
  • Review peer's essay before submission.
  • Collect questions to peer's presentation during discussion session.

Notes

Please submit the essay as well as your presentation slides. The requirements for presentation and essay are listed as follows:

  • Presentation and essay preferably in English.
  • Presentation time about 20 minutes.
  • Essay should comprise exact 6 pages without references.

Each participant is supposed to do further research based on the paper. The supervisors are always glad to help in this case.

The strength of the university depends on academic and personal integrity. In this seminar, essays must be done in your own words. Plagiarism is an offense against the examination regulations.

Templates

The LaTeX template for seminar essay can be found here.

Additional considerations for the design of the essay can be found on the website of IBR.

LaTeX templates for presentation slides can be found here.

Additional considerations for the design can be found on the website of IBR.

Material

Review Template Download


last changed 2022-01-24, 14:59 by Ines Messadi

For All Visitors

Vacancies of TU Braunschweig
Career Service' Job Exchange 
Merchandising

For Students

Term Dates
Courses
Degree Programmes
Information for Freshman
TUCard

Internal Tools

Glossary (GER-EN)
Change your Personal Data

Contact

Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig

P. O. Box: 38092 Braunschweig
GERMANY

Phone: +49 (0) 531 391-0

Getting here

© Technische Universität Braunschweig
ImprintPrivacyAccessibility