Monika Kamhuber

dblp:205/6042-1 · also Monika Huber 0001 · DBLP profile ↗
← Back
3ranked-venue papers
0as first author
2since 2021 · last 2023
0000-0003-3329-4036ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 2 · 2 since 2021Software engineering, systems software and programming languages · 1Theory of computation · 1
YearPublicationVenuePosition
2023 Universal Remote Attestation for Cloud and Edge Platforms
abstract
With more computing workloads being shifted to the cloud, verifying the integrity of remote software stacks through remote attestation becomes an increasingly important topic. During remote attestation, a prover provides attestation evidence to a verifier, backed by a hardware trust anchor. While generating this information, which is essentially a list of hashes, is easy, examining the trustworthiness of the overall platform based on the provided list of hashes without context is difficult. Furthermore, as different trust anchors use different formats, interaction between devices using different attestation technologies is a complex problem.
Simon Ott, Monika Kamhuber, Joana Pecholt, Sascha Wessel
ARES2
2021 Advanced System Resiliency Based on Virtualization Techniques for IoT Devices
abstract
An increasing number of powerful devices are equipped with network connectivity and are connected to the Internet of Things (IoT). Influenced by the steady growth of computing power of the devices, the paradigm of IoT-based service deployment is expected to change, following the example of cloud-based infrastructure: An embedded platform can be provided as-a-service to several independent application service suppliers. This fosters additional challenges concerning security and isolation. At the same time, recently revealed critical vulnerabilities like Ripple20 and Amnesia:33 show that embedded devices are not spared from wide-spread attacks.
Jonas Röckl, Mykolai Protsenko, Monika Kamhuber, Tilo Müller, Felix C. Freiling
ACSAC3
2017 Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL
Albert Rizaldi, Jonas Keinholz, Monika Kamhuber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow
IFM3