2017-09-10 22:25:32 +00:00
|
|
|
---
|
2017-09-17 15:35:29 +00:00
|
|
|
title: What is robur?
|
2017-09-10 22:25:32 +00:00
|
|
|
---
|
2017-09-16 17:04:53 +00:00
|
|
|
|
2017-11-05 18:47:48 +00:00
|
|
|
Computers on the Internet get compromised mostly to gain or block access to data:
|
2017-09-17 15:25:21 +00:00
|
|
|
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.
|
2017-09-17 15:08:27 +00:00
|
|
|
|
2017-09-17 15:33:34 +00:00
|
|
|
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.
|
2017-09-17 15:08:27 +00:00
|
|
|
|
2017-11-05 18:47:48 +00:00
|
|
|
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
|
2017-09-16 16:52:05 +00:00
|
|
|
|
2017-09-16 18:06:47 +00:00
|
|
|
|
2017-11-05 18:47:48 +00:00
|
|
|
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.
|
2017-09-16 18:06:47 +00:00
|
|
|
|
2017-11-05 18:47:48 +00:00
|
|
|
Take a look at our [technology](/Technology), learn about our [concept and
|
2017-11-05 18:49:07 +00:00
|
|
|
team](/About) or browse some [projects](/Projects). You can reach us by mail at
|
2017-11-05 18:47:48 +00:00
|
|
|
team@robur.io.
|
