Curriculum Vitae

Cloud topologies are complex!


Whereas ideal topologies of infrastructure clouds are usually shown in a well-ordered model, we discovered that actual production infrastructure have very complex topologies. How can we approach their complexity in tool-supported analysis?

Read more: Cloud topologies are complex!

Infrastructure Cloud Information Flow Analysis

Information flow analysis by graph coloring

We pursue the information flow analysis of virtualized infrastructures by graph coloring. Analyzing VM connections, network and storage we ask: How can we discover isolation breaches hidden in the actual configuration?

Read more: Infrastructure Cloud Information Flow Analysis

Smart Identity Card

Artiest conception of the actual prototype (the real card has the chip on the back)

European countries establish eID systems, while often debating the privacy benefits anonymous credential systems provide. Are these advanced systems feasible and efficient enough on a standard eID card?

Read more: Smart Identity Card

Cloud Security Verification

Architecture for static cloud verification

We design an architecture for the verification of infrastructure clouds with respect to security goals. How can automated tools tackle the complexity of cloud topology?

Read more: Cloud Security Verification