From 3a1f94bd4c3d9629a8e8094e69e68edd6ff9fdd8 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sun, 17 Sep 2017 16:14:14 +0100 Subject: [PATCH] . --- Home | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) diff --git a/Home b/Home index bd69d6d..2ae616f 100644 --- a/Home +++ b/Home @@ -3,7 +3,6 @@ title: Robust Open Bare-metal Ubiquitous Resilient author: someone --- 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: * based on the unikernel pioneer [MirageOS](https://mirage.io) * secure implementation guarded against memory corruption, typelevel problems, leaky abstraction and unforseen state @@ -15,16 +14,16 @@ With our approach to systems development we provide the following advantages for * extensive library ecosystem, yet minimal trusted code base at runtime * rapid prototyping with a seamless path from prototype to production -Computers on the Internet get compromised, -- to access data on the computer (databases, passwords, user accounts) or block - access to it (Ransomware), -- to participate in DoS of other services (e.g. the Mirai botnet on SmartTVs) - and manipulate opinion (chatbots). +Computers on the Internet get compromised, either to steal data from databases +on the computer or deploy ransomware which blocks access to the data until a fee +is paid, or to use the computing resources by participating in denial of service +attacks or manipulate opinion using chatbots. -The software stack often includes parts which are no longer needed, such as -floppy disk drivers. Critical security updates are rarely deployed in time, -because such a change may result in unforeseen behaviour. Additionally, lots of -embedded devices (home router, SmartTV, etc.) have no secure update channel. +The software stack often includes code which is no longer needed, such as floppy +disk drivers which is around at runtime, which is an unneccessary attack +surface. Critical security updates are rarely deployed in time, because such a +change may result in unforeseen behaviour. Additionally, lots of embedded +devices (home router, SmartTV, etc.) do not have a secure update channel. Instead of trying to fix these decades-old operating systems, which were designed as multi-user time sharing systems of the past, we build small services