Linkedin

OpenRQ

OpenRQ is a Java library that implements the RaptorQ FEC scheme described in RFC 6330. The aim is to provide to developers a library that is easy to use and incorporate in their applications, whilst maintaining RaptorQ’s acclaimed performance and resilience. Forward...

BFT-SMaRt

BFT-SMaRt is a high-performance Byzantine fault-tolerant state machine replication library developed in Java with simplicity and robustness as primary requirements. Our main objective is to provide a code base that can be used to build dependable services and also...

DepSpace

DepSpace (Dependable Tuple Space) is fault and intrusion-tolerant secure tuple space implementation. The main objective of the system is to provide an extended tuple space abstraction that could be used to implement Byzantine fault tolerant applications.

RT-PSS

Real-Time Proactive Secret Sharing Library for RTAI is an implementation of the Shamir’s secret sharing scheme and Herzberg’s proactive secret sharing algorithm. The library uses a port of GNU GMP in order to make multiple precision arithmetic...

SePi

SePi is a concurrent, message-passing programming language based on the pi-calculus. The language features synchronous, bi-directional channel-based communication. Programs use primitives to send and receive messages as well as offer and select choices. Channel...

ProPi

ProPi is a tool to statically verify whether message passing programs are free from deadlocks. The tool takes as input a system specified in the pi-calculus, together with typing annotations that describe the communications in the channels, as well as event...