Our work

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

Infrastructure projects

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.

Time synchronization

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

Smart grid protocols

Secure smart grid protocols like OpenADR allow us to use more distributed renewable energy resources on our existing electrical grid.

Ecosystem projects

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.

Making Rust faster than C

Our mission is to make critical infrastructure software safer. We must eliminate performance considerations as a barrier for adopting the memory safe languange Rust in order to achieve this goal.