Current Research Projects: Distributed Systems
BATS: Dynamic Adaptable Applications for Bats Tracking by Embedded Communicating Systems
PRIMaTE
PRIMaTE: PRIvacy preserving Multi-compartment Trusted ExecutionREFIT
REFIT: Resource-Efficient Fault and Intrusion ToleranceSTAN
Scalable Hardware-Aided Trusted Data Management
TFaas
Trusted Sandboxed Execution of Serverless FunctionsFinished Research Projects:
Attack Surface Reduction for Linux
Attack Surface Reduction for Linux
Dependability Aspects in Configurable Embedded Operating Systems
DNV Memory: Dependable Non-Volatile MemoryNV-Hypervisor
Transparent model of persistence for legacy software
RailCloud: A PaaS Cloud for Safe Railway Applications
Research Group - Resource constrained Distributed Stream Processing 
Secure Enclaves for REactive Cloud Applications (SERECA)
Trustworthy Clouds - Privacy and Resilience for Internet-scale Critical Infrastructure
