53 citations · 85 across the 12 of their papers we have counts for
17 papers
Soliduzz: Finding Miscompilations in Smart-Contract Compilers with Assertion-Driven Equivalence Oracles
Alexander Stromberger, Christoph Hochrainer, Valentin Wüstholz +1
Smart contracts compiled to the Ethereum Virtual Machine (EVM) can manage high-value assets and are difficult to patch after deployment. Compiler miscompilations are therefore espe…
Lie to Me: Finding Bugs in ZK DSL Toolchains with Adversarial Witness Injection
Sebastian Watzinger, Christoph Hochrainer, Valentin Wüstholz +1
Zero-knowledge domain-specific language (ZK DSL) toolchains compile programs into constraint systems and generate witnesses for cryptographic proofs. Bugs in these toolchains can l…
Automatically Testing Functional Properties of Code Translation Models
Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis
Large language models are becoming increasingly practical for translating code across programming languages, a process known as . Even though automated transpilation s…
Specifying and Testing -Safety Properties for Machine-Learning Models
Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann +2
Machine-learning models are becoming increasingly prevalent in our lives, for instance assisting in image-classification or decision-making tasks. Consequently, the reliability of…
Compositional Verification of Smart Contracts Through Communication Abstraction (Extended)
Scott Wesley, Maria Christakis, Jorge A. Navas +3
Solidity smart contracts are programs that manage up to 2^160 users on a blockchain. Verifying a smart contract relative to all users is intractable due to state explosion. Existin…
Automatically Tailoring Static Analysis to Custom Usage Scenarios
Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis +2
In recent years, there has been significant progress in the development and industrial adoption of static analyzers. Such analyzers typically provide a large, if not huge, number o…