Login / Signup
Monika Huber
ORCID
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 3
Top Topics
Operating System
Multi Tasking
Autonomous Vehicles
Virtual Machine
Top Venues
CCSW@CCS
ACSAC
IFM
</>
Publications
</>
Joana Pecholt
,
Monika Huber
,
Sascha Wessel
Live Migration of Operating System Containers in Encrypted Virtual Machines.
CCSW@CCS
(2021)
Jonas Röckl
,
Mykolai Protsenko
,
Monika Huber
,
Tilo Müller
,
Felix C. Freiling
Advanced System Resiliency Based on Virtualization Techniques for IoT Devices.
ACSAC
(2021)
Albert Rizaldi
,
Jonas Keinholz
,
Monika Huber
,
Jochen Feldle
,
Fabian Immler
,
Matthias Althoff
,
Eric Hilgendorf
,
Tobias Nipkow
Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL.
IFM
(2017)