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

image

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

подробнее

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

  • Анализ кода умных контрактов и связанных приложений
  • Разработка инструмента анализа умных контрактов на языке Solidity.
image

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

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

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

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

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

image

Разработка системного программного обеспечения

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

  • Инструменты статического и динамического анализа кода
  • Инструменты восстановления исходного кода из низкоуровневого представления
  • Системы онлайн образования
  • Разработка программного обеспечения на заказ
image

Майнинговый дата-центр

Строим фермы для майнинга криптовалют.

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

image

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

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

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

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

написать

Наша команда

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Екатерина ВоскресенскаяАналитик

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

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

Партнеры