Kollaps: Decentralized Container Based Network Emulator
Kollaps is a scalable network emulator that allows to emulate unmodified application with 100s of nodes.
Mumak: Efficient and Black-Box Bug Detection for Persistent Memory
Mumak is a tool for detecting bugs in Persistent Memory software. It was used to detect bugs in production ready software such as Intel’s PMDK.
Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation
Kauri is a scalable BFT consensus system that achieves high-throughput and low latency in most network scenarios.
Corten: large scale distributed algorithms simulator
Corten is an event-based simulator written in Rust that can scale to millions of processes and prevents common programmer errors such as atomic message exchanges or incorrect state sharing between processes.
ATOCS: Automatic Configuration of Encryption Schemes for Secure NoSQL Databases
ATOCS is a framework that automatically analyses the code of applications and determines the most appropriate encryption schemes for the underlying database system.