Attack Surface Reduction for Linux

BATS: Dynamic Adaptable Applications for Bats Tracking by Embedded Communicating Systems

Design and Validation of Scalable, Byzantine Fault-Tolerant Consensus Algorithms for Blockchains

Dependability Aspects in Configurable Embedded Operating Systems

DNV Memory: Dependable Non-Volatile Memory

HALYomorpha halys IDentification: Innovative ICT tools for targeted monitoring and sustainable management of the brown marmorated stink bug and other pests

Transparent model of persistence for legacy software

PRIMaTE: PRIvacy preserving Multi-compartment Trusted Execution

Railchain aims at incorporating blockchain technology into railway systems.

RailCloud: A PaaS Cloud for Safe Railway Applications

Research Group - Resource constrained Distributed Stream Processing

REFIT: Resource-Efficient Fault and Intrusion Tolerance

Secure Enclaves for REactive Cloud Applications (SERECA)

Scalable Hardware-Aided Trusted Data Management

Sustainable Research Software Development and Deployment

Trustworthy Clouds - Privacy and Resilience for Internet-scale Critical Infrastructure

Trusted Sandboxed Execution of Serverless Functions