From 5eb51e1c4cb0e536ca27fe4e6c5de9e9cb009b85 Mon Sep 17 00:00:00 2001 From: Canopy bot Date: Thu, 14 Dec 2023 15:13:20 +0000 Subject: [PATCH] updated from main (commit 946ed2b3368381087a2da2d4616873b47cd6cc68) --- About Us/Network | 6 +++++- About Us/index.html | 2 +- Our Work/index.html | 2 +- atom | 8 ++++++-- 4 files changed, 13 insertions(+), 5 deletions(-) diff --git a/About Us/Network b/About Us/Network index b96ae0a..1580df9 100644 --- a/About Us/Network +++ b/About Us/Network @@ -1,15 +1,19 @@ -Network

Network

Published: 2019-09-10 (last updated: 2023-12-06)

Collaborations

+Network

Network

Published: 2019-09-10 (last updated: 2023-12-14)

Collaborations

Änderwerk gGmbH
Änderwerk is a "back-end provider" for the open source community. They work with Robur to assist us in our financial processes and administration.

Least Authority Least Authority is a Berlin-based group building technology that is open source and focused on allowing user freedom and privacy protection in online services. Robur has worked with Least Authority to make security audits of OCaml applications.

MirageOS
MirageOS is a library operating system that constructs unikernels for secure and high-performing applications. Most Robur projects are designed to be compatible with MirageOS, as well as native operating systems, like Linux or FreeBSD. We work closely with the MirageOS community to help develop its ecosystem and increase the availability of secure applications offered within it.

+

Nitrokey
+Robur designed and implemented NetHSM for Nitrokey.

OCaml Labs
OCaml Labs is an initiative within the Cambridge Computer Laboratory started by Anil Madhavapeddy in 2011 to promote research, growth and collaboration within the wider OCaml community. Robur has had a working relationship with OCaml Labs since our inception to help widen the base of OCaml users and applications.

Tarides
Is a for-profit distributed engineering team based in Paris and Cambridge that makes software for MirageOS. Robur works alongside Tarides to expand the MirageOS ecosystem and collaborate on some projects.

+

Semgrep
+Robur collaborates to migrate semgrep code base from a mix of Python and OCaml to only OCaml.


Grant Funders

NGI Pointer
diff --git a/About Us/index.html b/About Us/index.html index 389d294..cca9ed6 100644 --- a/About Us/index.html +++ b/About Us/index.html @@ -1,4 +1,4 @@ -robur

Team


Retreats


Network


Funding


Contact +robur

Retreats


Team


Network


Funding


Contact Donate

\ No newline at end of file diff --git a/Our Work/index.html b/Our Work/index.html index 846e2b9..ca2280f 100644 --- a/Our Work/index.html +++ b/Our Work/index.html @@ -1,4 +1,4 @@ -robur

Technology Employed


Services


Publications and Talks


Our Approach


Projects


Contact +robur

Technology Employed


Services


Publications and Talks


Projects


Our Approach


Contact Donate

\ No newline at end of file diff --git a/atom b/atom index fc6743c..44a0d57 100644 --- a/atom +++ b/atom @@ -1,4 +1,4 @@ -urn:uuid:8167ecfe-9676-11e7-8dc1-68f728e7bbbcrobur2023-12-06T17:41:32-00:002021-11-16T15:06:35-00:00<p>In 2021 we in <a href="https://robur.coop/">Robur</a> have been working towards easing deployment of reproducible mirage applications. The work has been funded by the European Union under the <a href="https://pointer.ngi.eu/">Next Generation Internet (NGI Pointer) initiative</a>. The result is <a href="https://builds.robur.coop">online</a>.</p> +urn:uuid:8167ecfe-9676-11e7-8dc1-68f728e7bbbcrobur2023-12-14T15:13:04-00:002021-11-16T15:06:35-00:00<p>In 2021 we in <a href="https://robur.coop/">Robur</a> have been working towards easing deployment of reproducible mirage applications. The work has been funded by the European Union under the <a href="https://pointer.ngi.eu/">Next Generation Internet (NGI Pointer) initiative</a>. The result is <a href="https://builds.robur.coop">online</a>.</p> <p>The overall goal is to push MirageOS into production in a trustworthy way. We worked on reproducible builds for <a href="https://opam.ocaml.org">Opam</a> packages and <a href="https://mirageos.org">MirageOS</a> - with the infrastructure being reproducible itself. Reproducible builds are crucial for supply chain security - everyone can reproduce the exact same binary (by using the same sources and environment), without reproducible builds we would not publish binaries.</p> <p>Reproducible builds are also great for fleet management: by inspecting the hash of the binary that is executed, we can figure out which versions of which libraries are in the unikernel - and suggest updates if newer builds are available or if a used library has a security flaw -- <code>albatross-client update my-unikernel</code> is everything needed for an update.</p> <p>Several ready-to-use MirageOS unikernels are built on a daily basis - ranging from <a href="https://builds.robur.coop/job/dns-primary-git/">authoritative DNS servers</a> (<a href="https://builds.robur.coop/job/dns-secondary/">secondary</a>, <a href="https://builds.robur.coop/job/dns-letsencrypt-secondary/">let's encrypt DNS solver</a>), <a href="https://builds.robur.coop/job/dnsvizor/">DNS-and-DHCP service (similar to dnsmasq)</a>, <a href="https://builds.robur.coop/job/tlstunnel/">TLS reverse proxy</a>, <a href="https://builds.robur.coop/job/unipi/">Unipi - a web server that delivers content from a git repository</a>, <a href="https://builds.robur.coop/job/dns-resolver/">DNS resolver</a>, <a href="https://builds.robur.coop/job/caldav/">CalDAV server</a>, and of course your own MirageOS unikernel.</p> @@ -406,10 +406,14 @@ He is still heavily involved as a developer and system administrator in <a hr Least Authority is a Berlin-based group building technology that is open source and focused on allowing user freedom and privacy protection in online services. Robur has worked with Least Authority to make security audits of OCaml applications.</p> <p><a href="https://mirage.io">MirageOS</a><br /> MirageOS is a library operating system that constructs unikernels for secure and high-performing applications. Most Robur projects are designed to be compatible with MirageOS, as well as native operating systems, like Linux or FreeBSD. We work closely with the MirageOS community to help develop its ecosystem and increase the availability of secure applications offered within it.</p> +<p><a href="https://nitrokey.com">Nitrokey</a><br /> +Robur designed and implemented <a href="https://www.nitrokey.com/products/nethsm">NetHSM</a> for Nitrokey.</p> <p><a href="http://ocamllabs.io">OCaml Labs</a><br /> OCaml Labs is an initiative within the Cambridge Computer Laboratory started by Anil Madhavapeddy in 2011 to promote research, growth and collaboration within the wider OCaml community. Robur has had a working relationship with OCaml Labs since our inception to help widen the base of OCaml users and applications.</p> <p><a href="https://tarides.com">Tarides</a><br /> Is a for-profit distributed engineering team based in Paris and Cambridge that makes software for MirageOS. Robur works alongside Tarides to expand the MirageOS ecosystem and collaborate on some projects.</p> +<p><a href="https://semgrep.dev">Semgrep</a><br /> +Robur collaborates to migrate semgrep code base from a mix of Python and OCaml to only OCaml.</p> <br /> <h1 id="grant-funders">Grant Funders</h1> <p><a href="https://pointer.ngi.eu">NGI Pointer</a><br /> @@ -418,7 +422,7 @@ NGI pointer is a EU funded project which funds the next generation ecosystem of In 2023 NLnet funded further work on MirageVPN. In 2019 NLnet Foundation granted Robur funding to develop a secure DNS resolver in OCaml. NLnet is a Dutch foundation that receives money from donations, legacies and collaborative funding and sub-granting mechanisms after starting with substantial capital established by pioneers of the European internet in 1997. It grants money to organizations and people that contribute to an open information society and secure internet projects.</p> <p><a href="https://prototypefund.de/en">The Prototype Fund</a><br /> The Prototype Fund has awarded Robur several grants for various projects such as the CalDAV Server, the Mirage Firewall and our OCaml implementation of an OpenVPN client. The Prototype Fund is a funding program of the Federal Ministry of Education and Research (BMBF) that is supported and evaluated by the Open Knowledge Foundation Germany. It funds individuals and small organizations to develop open source applications designed for the common good.</p> -urn:uuid:a4887de7-8629-5578-836f-d31b51fe75aaNetwork2023-12-06T17:41:32-00:00canopy2019-09-10T19:40:14-00:00<p>At Robur our focus is on the software we develop. We are passionate about our work and believe in the importance of creating and maintaining secure digital infrastructure.</p> +urn:uuid:a4887de7-8629-5578-836f-d31b51fe75aaNetwork2023-12-14T15:13:04-00:00canopy2019-09-10T19:40:14-00:00<p>At Robur our focus is on the software we develop. We are passionate about our work and believe in the importance of creating and maintaining secure digital infrastructure.</p> <p>We get our funding through three avenues: grants for particular open-source projects, contracts for specific work including development and auditing, and public donations that help allow us to continue the work that isn't otherwise funded.</p> <p>We spend most of our funding on salaries, ensuring Robur keeps developing the software we think is important. We do not spend money on fancy parties or first class business trips. Our general breakdown of spending per year is:</p> <ul>