31 citations · 38 across the 5 of their papers we have counts for
5 papers
Analyzing the Impact of Copying-and-Pasting Vulnerable Solidity Code Snippets from Question-and-Answer Websites
Konrad Weiss, Christof Ferreira Torres, Florian Wendland
Ethereum smart contracts are executable programs deployed on a blockchain. Once deployed, they cannot be updated due to their inherent immutability. Moreover, they often manage val…
Poster: Patient Community -- A Test Bed For Privacy Threat Analysis
Immanuel Kunz, Angelika Schneider, Christian Banse +2
Research and development of privacy analysis tools currently suffers from a lack of test beds for evaluation and comparison of such tools. In this work, we propose a benchmark appl…
Cloud Property Graph: Connecting Cloud Security Assessments with Static Code Analysis
Christian Banse, Immanuel Kunz, Angelika Schneider +1
In this paper, we present the Cloud Property Graph (CloudPG), which bridges the gap between static code analysis and runtime security assessment of cloud services. The CloudPG is a…
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…
Annotary: A Concolic Execution System for Developing Secure Smart Contracts
Konrad Weiss, Julian Schütte
Ethereum smart contracts are executable programs, deployed on a peer-to-peer network and executed in a consensus-based fashion. Their bytecode is public, immutable and once deploye…