В SmartDec мы анализируем приложения на языках высокого и низкого уровня. Разрабатываем программное обеспечение. Обеспечиваем безопасность умных контрактов.

Мы ищем специалистов!
image

SmartDec Scanner

подробнее

Мы разрабатываем SmartDec Scanner – статический анализатор безопасности приложений.

SmartDec Scanner поддерживает анализ приложений, написанных на 31 языке программирования, включая языки программирования смарт-контрактов Solidity и Vyper.

SmartDec Scanner работает не только с исходным кодом, но и исполняемыми файлами. Для анализа мобильного приложения достаточно ссылки из App Store или Google Play.

SmartDec Scanner легко интегрируется с репозиторием Git, серверами CI/CD и системой отслеживания ошибок Atlassian Jira. Для взаимодействия с другими системами и сервисами доступен встроенный открытый API.

image

Анализ программного обеспечения

Анализируем исходный и исполняемый код по требованиям заказчика, в том числе — по требованиям информационной безопасности. Восстанавливаем исходный код из низкоуровневого представления.

Анализ исходного и исполняемого кода: статический, динамический, гибридный, по требованиям информационной безопасности.

Восстановление исходного кода из низкоуровневого представления: из исполняемых файлов, байт-кода, бинарного кода, объектных файлов и других.

Анализ мобильных приложений: достаточно только ссылки на Google Play или AppStore

image

Безопасность умных контрактов

подробнее

Анализируем безопасность умных контрактов, децентрализованных приложений и приложений, которые с ними связаны. Уделяем особое внимание уязвимостям и ошибкам, возникающим при интеграции между умными контрактами и приложениями.

Мы провели аудиты более чем 200 проектов: от простейших аудитов ERC20 токенов до исследований сложных систем, крипто-кошельков и целых блокчейнов. Сумма активов, защищенных нашими аудитами превышает $1.0B.

В работе используем собственное ПО для анализа кода, смарт контрактов и токенов – SmartDec Scanner, SmartCheck и SmartSuite.

image

Технический консалтинг

Начиная с 2018 года мы консультируем корпоративных клиентов в вопросах внедрения блокчейн-решений в бизнес-процессы организации: оцениваем целесообразность, потенциальные выгоды и недостатки.

У нас есть экспертиза в решениях 2-ого слоя (Plasma, State Channels, Side Chain services) и протоколах доказательства с нулевым разглашением (ZK Snarks, ZK Starks). Мы участвуем в разработке продуктов, которые используют такие технологии.

image

SmartCheck — один из первых анализаторов безопасности для умных контрактов, написанных на языках программирования Solidity и Vyper. Он автоматически проверяет код умных контрактов на уязвимости и плохие практики, выделяя их в коде с подробным объяснением проблемы. Мы используем SmartCheck в наших аудитах.

image

SmartSuite — это децентрализованное приложение, которое проверяет задеплоенный токен на соответствие стандарту ERC20. Результаты проверки с доказательством записываются в блокчейн и доступны в веб-интерфейсе.

image

Системы онлайн образования

подробнее

Разрабатываем сервисы для проведения онлайн контестов, обучения и набора кадров.

Проводим крупнейшие олимпиады для школьников старших классов и студентов.

На базе нашей платформы проводится заочный тур олимпиады "Высшая Проба".

Но это не всё, что может реализовать наша команда.
Если у вас есть другая задача, напишите нам.

написать

Roadmap

Roadmap

Наша команда

Сергей Левин
Сергей ЛевинОснователь компании

Кандидат технических наук. Окончил МАИ по специальности инженер-системотехник, проходил обучение в аспирантуре в ЦНИИ "Монолит". Успешный предприниматель. Опыт работы в коммерции как руководителя и организатора бизнеса, в том числе бизнеса розничных продаж, более 20 лет

Катерина Трошина
Катерина ТрошинаГенеральный директор

Кандидат физико-математических наук, выпускник МГУ им. М.В.Ломоносова, программист и экономист. Преподаватель в МГУ и ВШЭ. Специалист в области информационной безопасности и бинарного анализа

Александр Чернов
Александр ЧерновГлавный архитектор

Кандидат Физико-математических наук, выпускник МГУ им. М.В.Ломоносова. Преподаватель ВМК МГУ и ВШЭ. Ведущий разработчик декомпилятора SmartDec и системы онлайн образования SmartTrain.

Сергей Павлин
Сергей ПавлинИсполнительный директор

Выпускник МГУ им. М.В.Ломоносова. Реализует процессы разработки внутри команды, обеспечивает взаимодействие с партнерами и контроль за выполнением проектов. Ведущий аналитик обучающей онлайн системы SmartTrain

Ярослав Александров
Ярослав АлександровТехнический лидер

Выпускник МГУ им. М.В.Ломоносова, аспирант факультета ВМК. Лидер проекта по разработке статических средств анализа кода. Сооснователь проекта аудита безопасности смарт контрактов. Специалист в области информационной безопасности и разработки на языке Java

Павел Ющенко
Павел ЮщенкоТехнический директор

Выпускник МГУ им. М.В.Ломоносова. Специалист по разработке на языках Java, C++ и Python. Эксперт в области использования программного обеспечения и оборудования для командной разработки.

Ленар Сафин
Ленар СафинВедущий разработчик

Выпускник МГУ им. М.В.Ломоносова, аспирант СПбГЭТУ. Специалист в области декомпиляции и разработки на языках C/C++, ведущий разработчик модуля восстановления исходного кода и анализа исполняемых файлов, написанных на языках C/C++, Objective-C, SWIFT

Евгений Марченко
Евгений МарченкоВедущий разработчик

Выпускник МГУ им. М.В.Ломоносова. Специалист в области разработки на языке Java. ведущий эксперт в области анализа проектов на языке Solidity. Возглавляет группу разработки веб-серверных приложений и разработки смарт-контрактов

Александр Селезнёв
Александр СелезнёвСпециалист по развитию бизнеса

Организует поиск заказчиков и взаимодействие с текущими и потенциальными партнёрами. Специалист в области продвижения бренда и онлайн рекламы

Иван Старосельский
Иван СтаросельскийВедущий DevOps инженер

Выпускник физического факультета МГУ им. М.В.Ломоносова. Специалист в области построения систем непрерывной разработки и интеграции, а также введения программного обеспечения в промышленную эксплуатацию

Иван Иваницкий
Иван ИваницкийВедущий аналитик

Выпускник МГУ им. М.В.Ломоносова. Возглавляет группу аналитики в области информационной безопасности. Эксперт в области поиска уязвимостей мобильных и веб-приложений, специалист в области блокчейн-технологий и безопасности смарт-контрактов

Евгений Колосков
Евгений КолосковДиректор по правовым вопросам

Основное направление деятельности – разработка правовых решений, которые способствуют развитию бизнеса. Большой опыт в широком спектре областей, включая коммерческое и корпоративное право, налоговое право, финансы и экономическое развитие. Является участником Российской Ассоциации криптоиндустрии и блокчейна.

Анна Шерман
Анна ШерманСпециалист по развитию бизнеса
_
Екатерина Воскресенская
Екатерина ВоскресенскаяАналитик

Кандидат физико-математических наук, выпускник механико-математического факультета МГУ им. М.В.Ломоносова. Финансовый аналитик, эксперт в области безопасности смарт-контрактов, написанных на языке Solidity

Елена Корноухова
Елена КорноуховаРазработчик интерфейсов
 _
Анна Хохоликова
Анна ХохоликоваДизайнер, верстальщик
 _
Рамиль Тахавиев
Рамиль ТахавиевРазработчик
 _
Сергей Бугаев
Сергей БугаевРазработчик
 _
Анна Шкарина
Анна ШкаринаАналитик
 _
Анастасия Сугар
Анастасия СугарРазработчик
 _
Олег Земляков
Олег ЗемляковРазработчик
 _
Елизавета Харламова
Елизавета ХарламоваАналитик
 _
Никита Кузин
Никита КузинРазработчик
 _
Альбина Маннанова
Альбина МаннановаРазработчик
 _

Хочешь к нам?

вакансии

Партнёры