We analyze the security of smart contracts and related applications. We also analyze the integration between smart contracts and side applications.
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 15 programming languages and can be easily integrated into workflow of both Security Experts and Software Developers.
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.
We develop software of any complexity - from small applications to high loaded systems that support the thousands of users in real time.
We offer wide variety of technical, legal and business services for blockchain start-ups:
That's not all that our team can do.
If you have another problem, write to us.
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.
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.
PhD, programmer, 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
Designs and implements business strategies, manages relationships with partners. Lead analyst of SmartDec training and learning systems
Technical specialist in Application security and Java development. Team leader of the SmartDec application security department. Co-founder of smart contract analysis project.
Developer on Java, C++ and Python. Expert in DevOps, system administration and hardware for agile development.
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
Technical specialist in Smart Contracts and Solidity language. Technical leader of web server system and static analysis system development.
Builds and maintains high-level contacts with current and prospective customer and other business and project partners.
CI expert, specialist in software deployment. Provides technical support for systems in commercial operation.
Lead analyst of application security projects, expert on vulnerabilities in mobile and web applications, specialist in blockchain technology and smart contracts.
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.
PhD, financial systems analyst and expert on vulnerabilities in smart contracts written in Solidity.