Login / Signup
Yaroslav Alexandrov
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Static Analysis
Symbolic Execution
Malicious Code
Open Source
Top Venues
WETSEB@ICSE
</>
Publications
</>
Sergei Tikhomirov
,
Ekaterina Voskresenskaya
,
Ivan Ivanitskiy
,
Ramil Takhaviev
,
Evgeny Marchenko
,
Yaroslav Alexandrov
SmartCheck: Static Analysis of Ethereum Smart Contracts.
WETSEB@ICSE
(2018)