Security and safety of Linux systems in a BPF-powered hybrid user space/kernel world

With the introduction of BPF into the Linux kernel, we are seeing a sea change in the traditional application model. With BPF it is now possible to execute parts of the application logic in kernel space, leading to a novel hybrid userspace/kernel model. This is an exciting development that brings with it many opportunities, but also some challenges especially in the area of security. We have recently seen an example of this around the “kernel lockdown” functionality in the kernel, which would disable BPF entirely in its “confidentiality” mode.

ICOS: IoT2Cloud Operating System

The ICOS project aims at covering the set of challenges coming up when addressing this continuum paradigm, proposing an approach embedding a well-defined set of functionalities, ending up in the definition of an IoT2cloud Operating System (ICOS).

StrIoT: functional stream processing

StrIoT is a functional stream-processing system written in the Haskell programming language. The StrIoT library provides a set of stream-processing operators that can combine to create complex applications on streaming data. This includes definitions of operations...

Characterizing Microservice Architectures

Microservice architectures are the default method for building distributed applications in industry. Though the basic tenants of this architectural style are well known—they faciitate independence of development teams, increased deployment velocity, and...