SmartDec has been solving complex IT problems since 2009. They are specialists in a wide range of areas, including security audits, static analysis tools, decompilation and technical consulting. Their team member have more than 15 years of experience in decompilation and security analysis and hold PhDs in these areas. In the area of blockchain they provide security audits for smart contracts, DApps (front-end, back-end, and interactions between them), custom blockchains, 2nd layer scaling solutions and crypto wallets.
Somish has a proven track record of delivering smart contract audits with a check for 125+ vulnerabilities within 48 hours. They provide audits for Ethereum, EOS, TRON, Hyperledger and IOST with an extensive report on critical, major, minor bugs and recommendations. They also dabble in Smart Contract Development and have delivered 21+ projects on Ethereum main-net since 2017.
Trail of Bits digs deeper into the construction of smart contracts than any other team because they have invested in building the best available tools - many of which are open source — for assessing the security of smart contracts, the security implications of the Solidity language, and the Ethereum Virtual Machine (EVM). This suite of tools represents their decades of experience in information security, an asset they constantly enrich as chair of the Enterprise Ethereum Alliance Security Task Force, and apply to help keep the community informed about the latest developments in Ethereum security. Contact their consulting practice for unmatched expertise and support with your smart contracts.