Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. - Albert Rizaldi; Jonas Keinholz; Monika Huber 001; Jochen Feldle; Fabian Immler; Matthias Althoff; Eric Hilgendorf; Tobias Nipkow (IFM, 2017)

Advanced System Resiliency Based on Virtualization Techniques for IoT Devices. - Jonas Röckl; Mykolai Protsenko; Monika Huber 001; Tilo Müller; Felix C. Freiling (ACSAC, 2021)

Live Migration of Operating System Containers in Encrypted Virtual Machines. - Joana Pecholt; Monika Huber 001; Sascha Wessel (CCSW, 2021)

Building Trust in Data Spaces. - Monika Huber 001; Sascha Wessel; Gerd Stefan Brost; Nadja Menz (Designing Data Spaces, 2022)

Universal Remote Attestation for Cloud and Edge Platforms. - Simon Ott; Monika Kamhuber; Joana Pecholt; Sascha Wessel (ARES, 2023)