In SmartDec we analyze applications in high and low level languages. We develop software. We provide smart contract security audit.
What we do:
– Development of tools for code analysis and tools for code recovering from a low-level representation.
– Smart contract security audit and smart contract development
– Software audit
– Development of online education systems
We've provided more than 100 audits of mobile and web application and also smart contracts for Ethereum platform. We are developers of SmartCheck tool – free static code analyzer for Solidity language. Now we are working on information security tools for different programming languages and also investigate new approaches
for smart contract analysis.
Find examples of our work and more information about our research in our blog on the web site.
Company Details
- Employees
- 16
- Founded
- -
- Address
- David Sakharov Str 22, Rishon Lezion,israel 7570729,israel
- Phone
- 74997500327
- in****@****dec.net
- Industry
- It Services And It Consulting
- NAICS
-
Computer Systems Design and Related ServicesOther Computer Related Services
- Website
- smartdec.ru
- Keywords
- IT Consulting.
- HQ
- Rishon LeZion, Israel
Smartdec Questions
Smartdec's helpline number is 74997500327
Smartdec's website is smartdec.ru
Smartdec's LinkedIn profile is https://il.linkedin.com/company/smartdec
Smartdec has
16 employees.
View email and phone details for 16
employees at Smartdec.
Smartdec's industry is
IT Services and IT Consulting
Smartdec's top competitors are
Dersecur,
Slowmist,
Mythx,
Blocksec,
Runtime Verification Inc,
Llc "bft",
Least Authority,
Солар,
Paladin Blockchain Security,
La Mie.
Smartdec's support email address is info@smartdec.net
Smartdec's categories are IT Services and IT Consulting
Smartdec's founding year is 2009
