Login / Signup
Anton Permenev
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Multiscale
Formal Verification
Smart Spaces
Top Venues
IEEE Symposium on Security and Privacy
</>
Publications
</>
Anton Permenev
,
Dimitar K. Dimitrov
,
Petar Tsankov
,
Dana Drachsler-Cohen
,
Martin T. Vechev
VerX: Safety Verification of Smart Contracts.
IEEE Symposium on Security and Privacy
(2020)