Write a Blog >>
Valentin Wüstholz

Registered user since Thu 31 Jan 2019

Name: Valentin Wüstholz

Country: Germany

Affiliation: ConsenSys Diligence

Personal website: http://www.wuestholz.com/

Research interests: program analysis, formal methods, software security

Contributions

ESEC/FSE 2020Author of Detecting Critical Bugs in SMT Solvers using Blackbox Mutational Fuzzing within the Research Papers-track
Show activities from other conferences

Using general profile