Our work

We develop and maintain four infrastructure projects for vital systems, and we run two ecosystem initiatives.

Infrastructure projects

Time synchronization

Reliable, securely synchronized time is a building block for the Internet and other critical infrastructure.

Automated Demand Response

With the rise of renewable energy resources and ongoing electrification, automated demand response plays a crucial role in optimizing the use of our electricity grid.

Data compression

Compression algorithms are used in a vast number of protocols and file formats throughout all of computing.Implemented in C, these libraries encounter regular security issues despite receiving extensive industry-wide scrutiny.

Privilege boundary

The sudo and su utilities mediate a critical privilege boundary on almost every open-source operating system that powers the Internet.

Ecosystem projects

Making Rust faster than C

Our mission is to make critical infrastructure software safer. For that to happen in all relevant areas, performance considerations must be removed as a blocking counter-argument to the memory safe language Rust.

Education - teach-rs

Teach-rs is a university course for computer science students, introducing the Rust Programming Language, and is available for anyone who wants to teach Rust.