Statistics
Publications
1
Citations
237
H-Index
1
Active since
2020
Affiliations
ETH Zurich(Current)
Anton Permenev is an author at ETH Zurich specializing in symbolic execution engines, protocol verification, and abstraction.
Publications per year
2020–2020
1
1
VerX: Safety Verification of Smart Contracts
Anton Permenev, Dimitar Dimitrov, Petar Tsankov et al. · 2020 · 237 citations · Full text
1–1 of 1