Coinresear.ch
About Papers [1178] Stats Tags

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



Links

  • SmartCheck source code (github)

Coinresear.ch

  • Coinresear.ch
  • feedback@coinresear.ch

Theory and practice of cryptocurrencies