53 citations · 85 across the 12 of their papers we have counts for
3 papers · 1 filter
Perfectly Parallel Fairness Certification of Neural Networks
Caterina Urban, Maria Christakis, Valentin Wüstholz +1
Recently, there is growing concern that machine-learning models, which currently assist or even automate decision making, reproduce, and in the worst case reinforce, bias of the tr…
Targeted Greybox Fuzzing with Static Lookahead Analysis
Valentin Wüstholz, Maria Christakis
Automatic test generation typically aims to generate inputs that explore new paths in the program under test in order to find bugs. Existing work has, therefore, focused on guiding…
Harvey: A Greybox Fuzzer for Smart Contracts
Valentin Wüstholz, Maria Christakis
We present Harvey, an industrial greybox fuzzer for smart contracts, which are programs managing accounts on a blockchain. Greybox fuzzing is a lightweight test-generation approach…