4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.CR2022★ 4 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.CR2019
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…