At robur, we build performant bespoke minimal operating systems for high-assurance services. With our approach to systems development we provide the following advantages for you:
- cutting-edge systems programming and security research
- systems based on the unikernel pioneer MirageOS
- secure implementation guarded against memory corruption, type-level problems, leaky abstraction and unforeseen state
- ready for the cloud, runs on all major hypervisors
- instant boot (milliseconds)
- competitive performance to C implementations
- can target embedded devices, small size (~4% of UNIX based system), compilation to native code
- minimal codebase without mutable state allows to reason about entire systems and adherence to specification
- extensive library ecosystem, yet minimal trusted code base at runtime
- rapid prototyping with a seamless path from prototype to production
- possibility to formally verify important parts with a proof assistant
Our team is eager to develop applications for high assurance, which seamlessly integrate in your existing infrastructure. Contact us and we'll collaboratively develop a more secure architecture and a smooth migration plan for your organization. And we'll implement and deploy this together at your organization. We bring a variety of solutions, including basic network services, DNS, DHCP, TLS, persistent storage (like git), and are happy to expand these to your needs.
Take a look at our technology, learn about our concept and team or browse some projects. You can reach us by mail at team@robur.io.