xThe data center, from which the conference websites are hosted, is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Valentin Wüstholz

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:Germany
Affiliation:ConsenSys
Personal website:http://www.wuestholz.com/
Research interests:program analysis, formal methods, software security, software engineering

Contributions

SPLASH 2022 Compositional Verification of Smart Contracts Through Communication Abstraction
Show activities from other conferences

Using general profile