Hi everyone!
At SmartDec we specialise in
Smart Contracts security audits. Our leads have more than 15 years of experience in security analysis and hold PhDs in these areas. We work in cooperation with a university group specialised in Smart Contracts and have developed SmartCheck -- our own static code analyser for Solidity language.
We can audit Smart Contracts in conjunction with frontend and backend. In addition, we analyse the logic of the application for backdoors and discrepancies to the declared behaviour.
We have involved in a number of Smart Contracts security audits, both private and public, and cooperated with several [Suspicious link removed]panies in the security field.
You can find additional information and examples of reports at our site:
http://smartcontracts.smartdec.net/ Contact me by email:
alexander@smartdec.netor Telegram: @msbenighted