---
---

Computers on the Internet get compromised mostly to gain or block access to data:
User data is being downloaded, leaked and sold, or ransomware blocks access to user data until a fee
is paid. Other common attacks target compute resources, to use them in denial of service
attacks or to manipulate opinion with chatbots.

Common software stacks often include legacy parts at runtime that provide unnecessary attack surface. 
Critical security updates are rarely deployed on time, because they result in unforeseen behaviour.  Also, lots of embedded
devices are missing a secure update channel.

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](https://mirage.io)
* secure implementation guarded against memory corruption, typelevel problems, leaky abstraction and unforeseen state
* ready for the cloud, services run on all major hypervisors
* instant boot (milliseconds)
* competitive performance (TLS 85% the speed of OpenSSL) comparable to C
* can target embedded devices, small size (~4% size 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 therorem prover


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](/Technology), learn about our [concept and
team](/About) or browse some [projects](/Projects).  You can reach us by mail at
team@robur.io.