In SmartDec we analyze applications in high and low level languages. We develop software. We provide smart contract security audit.

image

Smart Contract Security

more info

We analyze the security of smart contracts and related applications. We also analyze the integration between smart contracts and side applications.

We provide:

  • Analysis of smart contracts and related applications
  • Development of the tool for analyzing smart contracts in the Solidity language
image

Software audit

We analyze the source and executable code according to the customer’s requirements, including an information security audit. We recover source code from low-level representation.

We can assist with:

Analysis of the source and executable code: static, dynamic and hybrid analysis, information security analysis

Recovery of source code from low-level representation: from executable files, binary code, object files, and others.

Analysis of mobile applications: the link to Google Play or iTunes Store is sufficient.

image

System software development

We develop software of any complexity - from small applications to high loaded systems that support the thousands of users in real time.

  • Tools for static and dynamic code analysis (SAST and DAST).
  • Tools for code recovering from a low-level representation.
  • Online education systems
  • Custom software development
image

Full Range of ICO Services

more info

We offer wide variety of technical, legal and business services for blockchain start-ups:

  • Financial Analysis and Consulting
  • Legal Support
  • GDPR Support
  • Software Engineering
  • Various Post-ICO Services
image

Online education systems

We develop services for online contests, training and recruitment.

We hold the largest contests for colleges, schools and high schools.

That's not all that our team can do.
If you have another problem, write to us.

Contact us

Our team

Sergei LevinFounder

PhD, system engineer. Has experience in commerce as a leader and organizer of medium and large business, including retail business, from beginning of 1990-s.

Katerina TroshinaChief Executive Officer

PhD, programmer and economist. Application security specialist, highly skilled at working with the largest static analysis tools and binary analysis. Lecturer at Lomonosov Moscow State University and Higher School of Economics.

Aleksandr ChernovChief Research Officer

Developer of SmartDec decompiler and SmartDec training and learning system. Lecturer at Lomonosov Moscow State University and Higher School of Economics

Daniil ChernovChief Business Development Officer

Sergei PavlinChief Operating Officer

Designs and implements business strategies, manages relationships with partners. Lead analyst of SmartDec training and learning systems

Yaroslav AlexandrovHead of Development Department

Technical specialist in Application security and Java development. Team leader of the SmartDec application security department. Co-founder of smart contract analysis project.

Pavel YushchenkoChief Technical Officer

Developer on Java, C++ and Python. Expert in DevOps, system administration and hardware for agile development.

Lenar SafinLead developer

The expert in decompilation area and C/C++ development. The lead developer of source code recovering tool and analyzer of C/C++, Objective-C and SWIFT binary files

Evgeniy MarchenkoLead developer

Technical specialist in Smart Contracts and Solidity language. Technical leader of web server system and static analysis system development.

Alexander SeleznevBusiness Development Officer

Builds and maintains high-level contacts with current and prospective customer and other business and project partners.

Ivan StaroselskiyLead DevOps engineer

CI expert, specialist in software deployment. Provides technical support for systems in commercial operation.

Ivan IvanitskiyChief Analytics Officer

Lead analyst of application security projects, expert on vulnerabilities in mobile and web applications, specialist in blockchain technology and smart contracts.

Ekaterina VoskresenskayaAnalyst

PhD, financial systems analyst and expert on vulnerabilities in smart contracts written in Solidity.

Elena KornoukhovaAssistant
 
Anna KhokholikovaDesigner
 
Ramil TakhavievDeveloper
 
Sergei BugaevDeveloper
 
Anna ShkarinaAnalyst
 
Anastasiya SugarDeveloper
 
Oleg ZemlyakovDeveloper
 
Elizaveta KharlamovaAnalyst
 
Nikita KuzinDeveloper
 
Albina MannanovaDeveloper
 
Vladimir KurilinDeveloper