Registered user since Thu 31 Jan 2019
Name:Valentin Wüstholz
Bio:
Valentin is a software security researcher at ConsenSys Diligence and has held positions both in academia (at ETH Zürich and UT Austin) and in industry (at Microsoft and Google). He is passionate about developing tools and techniques that allow us to produce more reliable and correct software.
Country:Austria
Affiliation:ConsenSys
Personal website: http://www.wuestholz.com/
Research interests:program analysis, formal methods, software security, software engineering
Contributions
2024
ASE
- Constraint-Based Test Oracles for Program Analyzers
- Constraint-Based Test Oracles for Program Analyzers - Artifact Submission
- Interrogation Testing of Program Analyzers for Soundness and Precision Issues
- Olympia: Fuzzer Benchmarking for Solidity
- Interrogation Testing of Program Analyzers for Soundness and Precision Issues
Using general profile