collaborators

1 paper

cs.SE2026

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…