With the arrival of Smart Contracts, Application Security has become more important than ever before. Keep your code secure with our manual and automated audits.
Why we are good at Smart Contracts Security
SmartCheck: Static Code Analyzer
We have built our own static code analyzer for Solidity. Our full analysis includes complete manual analysis and verification of all the issues reported by SmartCheck.
Our experience enables us to analyze Smart Contracts in conjunction with frontend and backend. In addition, we analyze the logic of the application for backdoors and discrepancies to the declared behavior.
We work in cooperation with a university group specialized in Smart Contracts. Our team members have academic degrees in Code Analysis.
Our team has performed security analysis on dozens of web and mobile applications.
Our clients and partners include
SmartCheck automatically checks Smart Contracts for vulnerabilities and bad practices, highlights them in the code and gives a detailed explanation of the problem. We already use it in our security audits.
SmartDec has been solving complex IT problems since 2009. We are specialists in a wide range of areas: security audit, analysis tools, decompilation, deobfuscation and web development. Our leads have more than 15 years' experience in decompilation and security analysis and hold PhDs in these areas.
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
Chief Research Officer
PhD, programmer, chief architect of all IT products. Developer of SmartDec decompiler and SmartTrain distance training system. Lecturer at Lomonosov Moscow State University and Higher School of Economics
Chief Operating Officer
Designs and implements business strategies, manages relationships with partners. Lead analyst of SmartDec training and learning systems.
Technical specialist in Application security. Team leader of the SmartDec application security department. Co-founder of smart contract analysis project. Graduate student at Lomonosov Moscow State University.
Technical specialist in Smart Contracts and Solidity language. Technical leader of web server system and static analysis system development.
Chief Analytics Officer
Lead analyst of application security projects, expert on vulnerabilities in mobile and web applications, specialist in blockchain technology and smart contracts.
PhD, financial systems analyst and expert on vulnerabilities in smart contracts written in Solidity.
Business Development Officer
Builds and maintains high-level contacts with current and prospective customers and other business and project partners.
Ethereum security researcher at the University of Luxembourg. Software security specialist. Co-founder of smart contract analysis project.
A. Fokin, E. Derevenetc, A. Chernov and K. Troshina. SmartDec: Approaching C++ Decompilation. In Proceedings of 18th Working Conference on Reverse Engineering. Limerick, Ireland. 17-20 October 2011, pp. 347-356