SmartDec tools and services help businesses to provide secure development for more than a decade.

image

Smart Contract Security

more info

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

We provide analysis of smart contracts and related applications.

We develop SmartCheck, security analysis tool for smart contracts written in Solidity.

image

Blockchain Security Services

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

We have performed audits for more than 200 blockchain projects, ranging from simplest ERC20 token audits to audits of complex systems, crypto wallets, and even whole blockchains. The number of funds secured by our audits already exceeds $1.0B.

image

Blockchain Research & Development

We have expertise in both Second Layer (like Plasma, State Channels, Side Chain services) and Privacy Solutions (ZK Snarks, ZK Starks), and participate in the development of products that utilize such solutions.

image

Blockchain Technical Consulting

Since the end of 2018, we’ve been consulting enterprise customers on whether they should integrate various blockchain solutions into their business processes and what could be the advantages and disadvantages of such innovations.

image

SmartDec Scanner

more info

We have developed a SmartDec Scanner, both web-based and on-premise vulnerabilities scanner.

SmartDec Scanner works with source codes, executables, and binaries, and provides comprehensive security threats report.

It supports more than 25 programming languages and can be easily integrated into workflow of both Security Experts and Software Developers.

SmartDec Scanner was the first enterprise-grade security tool to incorporate security rules for blockchain development.

image

SmartCheck

SmartCheck is one of the first security tools for Smart Contracts in Solidity and Vyper languages. It automatically checks Smart Contracts for vulnerabilities and bad practices – highlighting them in the code and giving a detailed explanation of the problem. We already use it in our security audits.

image

SmartSuite

SmartSuite is a DApp that checks compliance of a deployed token with ERC20 standard. The test results along with their evidence are available both on-chain and in the web-interface.

image

Majorelle

We introduce a symbolic bounded model checker designed for formal verification of Solidity smart contracts. Our approach does not require any special skills or deep understanding of sophisticated mathematical theories and thus enables anyone involved, including users, developers, security auditors, and platforms, to check Solidity smart contracts against desired properties in a simple and automated fashion.

image

Software Audit

We analyze source and executable code with accordance to customer’s requirements. We accomplish information security audits. We recover source code from low-level representation.

We provide:

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: automated and manual black-box testing and security analysis of mobile applications by a link to Google Play or App Store

image

System Software Development

We develop software of any complexity — from small applications to scalable high loaded systems able to handle thousands of concurrent users.

  • Enterprise systems and applications for static and dynamic code analysis (SAST and DAST)
  • Tools for code recovering from low-level representation
  • Online educational systems
  • Custom software development

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

Contact us

Roadmap

Roadmap

Our team

Sergei Levin, PhD
Sergei Levin, PhDFounder

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 Troshina, PhD
Katerina Troshina, PhDChief Executive Officer

Developer 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 Chernov, PhD
Aleksandr Chernov, PhDChief Research Officer

Developer, chief architect of IT products. Developer of SmartDec decompiler and SmartDec training and learning system. Lecturer at Lomonosov Moscow State University and Higher School of Economics.

Sergei Pavlin
Sergei PavlinChief Operating Officer

Chief Operational Officer who designs and implements business strategies, manages relationships with partners. Lead analyst of SmartDec training and learning systems

Yaroslav Alexandrov
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 Yushchenko
Pavel YushchenkoChief Technical Officer

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

Lenar Safin, PhD
Lenar Safin, PhDLead 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 Marchenko
Evgeniy MarchenkoLead developer

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

Alexander Seleznev
Alexander SeleznevBusiness Development Officer

Leading specialist in building and maintaining contacts with current and prospective customers and partners.

Ivan Staroselskiy
Ivan StaroselskiyLead DevOps engineer

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

Ivan Ivanitskiy
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.

Evgeny Koloskov
Evgeny KoloskovChief Legal Officer

Chief Legal Officer, focused on developing legal solutions that drive business development and economic vitality. Well versed in a wide range of areas, including commercial and corporate law, tax law, finance and economic development. Participant in Russian Association of Cryptoindustry and Blockchain.

Anna Sherman
Anna ShermanBusiness Development Officer
_
Ekaterina Voskresenskaya, PhD
Ekaterina Voskresenskaya, PhDAnalyst

Financial systems analyst and expert on vulnerabilities in smart contracts written in Solidity.

Elena Kornoukhova
Elena KornoukhovaUX/UI Developer
 
Anna Khokholikova
Anna KhokholikovaDesigner
 
Ramil Takhaviev
Ramil TakhavievDeveloper
 
Sergei Bugaev
Sergei BugaevDeveloper
 
Anna Shkarina
Anna ShkarinaAnalyst
 
Anastasiya Sugar
Anastasiya SugarDeveloper
 
Oleg Zemlyakov
Oleg ZemlyakovDeveloper
 
Elizaveta Kharlamova
Elizaveta KharlamovaAnalyst
 
Nikita Kuzin
Nikita KuzinDeveloper
 
Albina Mannanova
Albina MannanovaDeveloper
 

Partners and clients