activity
20182025
most citedRepresenting LLVM-IR in a Code Property Graph

8 citations · 13 across the 4 of their papers we have counts for

collaborators

7 papers

cs.CR2025

EMERALD: Evidence Management for Continuous Certification as a Service in the Cloud

Christian Banse, Björn Fanta, Juncal Alonso +1

The conspicuous lack of cloud-specific security certifications, in addition to the existing market fragmentation, hinder transparency and accountability in the provision and usage…

cs.SE20241 cited

owl2proto: Enabling Semantic Processing in Modern Cloud Micro-Services

Christian Banse, Angelika Schneider, Immanuel Kunz

The usefulness of semantic technologies in the context of security has been demonstrated many times, e.g., for processing certification evidence, log files, and creating security p…

cs.SE20228 cited

Representing LLVM-IR in a Code Property Graph

Alexander Küchler, Christian Banse

In the past years, a number of static application security testing tools have been proposed which make use of so-called code property graphs, a graph model which keeps rich informa…

cs.CR20224 cited

A Language-Independent Analysis Platform for Source Code

Konrad Weiss, Christian Banse

In this paper, we present the CPG analysis platform, which enables the translation of source code into a programming language-independent representation, based on a code property g…

cs.CR2020

Towards Tracking Data Flows in Cloud Architectures

Immanuel Kunz, Valentina Casola, Angelika Schneider +2

As cloud services become central in an increasing number of applications, they process and store more personal and business-critical data. At the same time, privacy and compliance…

cs.CR2019

ZKlaims: Privacy-preserving Attribute-based Credentials using Non-interactive Zero-knowledge Techniques

Martin Schanzenbach, Thomas Kilian, Julian Schütte +1

In this paper we present ZKlaims: a system that allows users to present attribute-based credentials in a privacy-preserving way. We achieve a zero-knowledge property on the basis o…