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.
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.
Privilege boundary
The sudo utility mediates a critical privilege boundary on every open-source operating system that powers the Internet.
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. For that to happen in all relevant areas, performance considerations must be removed as a blocking counter-argument to the memory safe language Rust.