Смарт-контракт как угроза безопасности блокчейн-стартапаБлокчейн-технологии

Доклад принят в программу конференции

SmartDec

Руководитель отдела аналитики в SmartDec. Участвует в разработке статического анализатора кода смарт-контрактов SmartCheck, в разработке статического анализатора бинарного и исходного кода мобильных и веб-приложений, в аудитах кода смарт-контрактов.

Тезисы

Мы расскажем о своём опыте аудита смарт-контрактов на Solidity:
- с какими уязвимостями мы сталкиваемся;
- почему эти уязвимости появляются в коде;
- как сделать свой смарт-контракт безопасным;
- как в этом помогает наш статический анализатор смарт-контрактов SmartCheck и другие инструменты;
- почему наш доклад так называется.