SmartDec
Information Technology and Services - Rishon le Ziyon, Central, Israel
SmartDec Details
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 systemsWe'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.
SmartDec Technologies
Email Providers
Gmail
Content Delivery Networks
Amazon CloudFront
Domain Name Services
Route 53
Other
Microsoft Office 365
Hosting
Amazon AWS