The group acts as a link between other thematically close chairs at TU Berlin and the department 8.5 "Metrological IT" of PTB and thus works on topics from both spheres. PTB is currently focusing on the development of a prototype of the "European Metrology Cloud" . This group contributes to this project through its research on security kernels for embedded systems (i.e. microkernels / hypervisors) and on secure distributed system architectures. The group uses its own embedded hypervisor as a research vehicle and also investigates formal methods for system software with a focus on directly analyzing executable machine code. Additionally, there are research projects on security properties of other system software components (such as memory allocators) and on the scalability of the wireguard VPN technology for large-scale mesh networks.