Resources

We list software, documentation and other artifacts developed as part of the project

GitHub

Rumpsteak

Rumpsteak is a Rust framework for safely and efficiently implementing message-passing asynchronous programs. It uses multiparty session types to statically guarantee the absence of communication errors such as deadlocks and asynchronous subtyping to allow optimizing communications.

GitHub

Capable-lang

A small imperative language with ML-style references to play with CHERI Capabilities & Session-Types.

GitHub

glibc-hook

Hijack sys/socket calls from a closed source binary by giving it a C standard library implementation that snoops.

GitHub

Program Behaviour Anomaly Detection Benchmark

A tool to compare different methods of anomaly detection in program behaviour.

GitHub

CheriBSD on minimal hardware

Files and instructions for running CheriBSD using Flute processor implemented on ZC706 board.