Software

• 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.