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.