Our work
We develop and maintain four infrastructure projects for vital systems, and we run two ecosystem initiatives.
Infrastructure projects
Smart grid protocols
As renewable energy resources increase, secure smart grid protocols are vital to optimizing our electricity grid.
Time synchronization
Reliable, securely synchronized time is a building block for the Internet and other critical infrastructure.
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.