Smartcheck: Static analysis of ethereum smart contracts
| Title | Smartcheck: Static analysis of ethereum smart contracts |
| Authors | Tikhomirov, Sergei and Voskresenskaya, Ekaterina and Ivanitskiy, Ivan and Takhaviev, Ramil and Marchenko, Evgeny and Alexandrov, Yaroslav |
| Year | 2018 |
Videos