53 citations · 85 across the 12 of their papers we have counts for
3 papers · 1 filter
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…
Learning Inputs in Greybox Fuzzing
Valentin Wüstholz, Maria Christakis
Greybox fuzzing is a lightweight testing approach that effectively detects bugs and security vulnerabilities. However, greybox fuzzers randomly mutate program inputs to exercise ne…
Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version)
Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule +1
In an algorithmic complexity attack, a malicious party takes advantage of the worst-case behavior of an algorithm to cause denial-of-service. A prominent algorithmic complexity att…