Smart Contract Security Auditing
Since 2017, SmartDec has been one of the most consistent security teams in blockchain industry.
180+
–°ompleted projects
$1.0B+
Secured by SmartDec audits
20+
Up-and-running products audited by SmartDec
Why we are good at Smart Contracts Security
Application Security Background
Our team specializes in Application Security. We have experience in both automated and manual analysis. We analyze code in various programming languages, including Solidity, Vyper, Java, JavaScript, Python etc.
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.
Extensive Analysis
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.
Academic Expertise
We work in cooperation with a university group specialized in Smart Contracts. Our team members have academic degrees in Code Analysis.
Our clients and partners include
Team
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.
We are Hiring! You can build more secure future with us.
Aleksandr Chernov
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
Sergey Pavlin
Chief Operating Officer
Designs and implements business strategies, manages relationships with partners. Lead analyst of SmartDec training and learning systems.
Evgeniy Marchenko
Technical Leader
Technical specialist in Smart Contracts and Solidity language. Technical leader of web server system and static analysis system development.
Ivan Ivanitskiy
Chief Analytics Officer
Lead analyst of application security projects, expert on vulnerabilities in mobile and web applications, specialist in blockchain technology and smart contracts.
Alexander Seleznev
Business Development Officer
Builds and maintains high-level contacts with current and prospective customers and other business and project partners.
Sergei Tikhomirov
Scientific Advisor
Ethereum security researcher at the University of Luxembourg. Software security specialist. Co-founder of smart contract analysis project.
Our scientific papers:
1
Sergei Tikhomirov [University of Luxembourg], Ekaterina Voskresenskaya, Ivan Ivanitskiy, Ramil Takhaviev, Evgeny Marchenko, Yaroslav Alexandrov. SmartCheck: Static Analysis of Ethereum Smart Contracts. ICSE WETSEB, Gothenburg 2018.
2
Egor Fominykh, Lenar Safin, Yaroslav Alexandrov. Analysing iOS apps: road from AppStore to security analysis report. REcon, Brussels 2017
3
Aleksandrov Y., Safin L., Troshina K., Chernov A. Static Binary Analysis of Mobile Applications for the Android Platform, According to the Requirements of Information Security. Moscow University Computational Mathematics and Cybernetics (ISSN 0278-6419). 2016, N 3. pp 141-146
4
A. Chernov and K. Troshina. Reverse engineering of binary programs for custom virtual machines. Recon conference. Montreal, Canada. 14-16 June 2012
5
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

Contact Us
E-mail*
Full Name*
Company Name
Reason For Contacting Us*
Message*
SmartDec International Ltd
Email: hello@smartdec.net

Head Office

+972 3 7219009
Rishon Lezion, Israel

Development Office

+7 499 7500327
Moscow, Russia

US Representative
+1 646 4611726
New York, USA