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.

Smart grid protocols

As renewable energy resources increase secure Smart grid protocols are vital for optimizing our electricity grid.

Data compression

Almost all content sent over the Internet undergoes data compression using algorithms like zlib and zstd.

Privilege boundary

The sudo utility mediates a critical privilege boundary on 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.