An implementation of a textbook Byzantine Randomized Consensus protocol, using a Byzantine Reliable Broadcast protocol

An implementation of Byzantine Chain Replication for Distributed Systems

Distributed Mutex : specifying and verifying safety and efficiency properties of Lamport mutual exclusion algorithm in TLA.

Implemented Lamport Distributed mutual exclusion algorithm sending and receiving requests in an interleaving fashion. Also tested the correctness and performance of the algorithm using Monitor Class.

Designed and implemented an improved failure tolerant protocol for distributed systems using DistAlgo by enhancing the Byzantine State Machine Replication Protocol.

Lamport Logical Clocks and Shared-Memory Concepts

This is part of CSE 535 Asynchronous Systems course.

Distributed consensus : optimizing paxos and comparing variants by plotting graphs of message loss rate, message delay and wait time.

Microservice for handle asynchronous image compression workload

Studied different classes of distributed algorithms:4 classes of distributed algorithms: 1) Distributed Consensus 2) Distributed Storage 3) Security Protocols 4) Distributed Programming Support