Alexander Bakst - SPLASH 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

Registered user since Mon 19 Aug 2024

Name:Alexander Bakst

Country:United States

Affiliation:Certora

Personal website: https://abakst.github.io

Contributions

2024

SPLASH

Practical Verification Of Smart Contracts Using Memory Splitting

Show activities from other conferences

SPLASH 2024-profile
View general profile