Randomized Testing of Byzantine Fault Tolerant Algorithms
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore a groundbreaking 18-minute video presentation from OOPSLA1 2023 conference on randomized testing of Byzantine fault-tolerant algorithms. Delve into ByzzFuzz, an innovative method for detecting errors in implementations of these algorithms through randomized testing. Learn how small-scope message mutations and insights from testing and fuzzing literature effectively uncover protocol logic and implementation bugs in real-world fault-tolerant systems. Discover the application of ByzzFuzz to production implementations of Tendermint, Ripple, and PBFT, revealing several bugs including a previously unknown fault-tolerance issue in Ripple's implementation. Gain insights into distributed consensus, Byzantine fault-tolerance, and random testing techniques that enhance the reliability of blockchain systems and fault-tolerant protocols.
Syllabus
[OOPSLA23] Randomized Testing of Byzantine Fault Tolerant Algorithms
Taught by
ACM SIGPLAN
Related Courses
Advanced Operating SystemsGeorgia Institute of Technology via Udacity High Performance Computing
Georgia Institute of Technology via Udacity GT - Refresher - Advanced OS
Georgia Institute of Technology via Udacity Distributed Machine Learning with Apache Spark
University of California, Berkeley via edX CS125x: Advanced Distributed Machine Learning with Apache Spark
University of California, Berkeley via edX