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

Партнёры