In alphabetical order:
ChainSecurity offers formally verified audits and combines the latest research in program analysis, machine learning, and system security to build innovative blockchain security solutions.
Creating a safe, trustworthy and healthy Ethereum ecosystem. ConsenSys Diligence is committed to improving and protecting the Ethereum ecosystem by facilitating technical excellence, security guidelines, legal precautions, and ethical business practices.
Quantstamp is a Y Combinator backed security company with a mission to secure and drive the mainstream adoption of Smart Contracts. We are building a protocol that aims to help blockchain developers and projects around the world use its technology to perform cost-effective security audits on their contracts.
For over 15 years Security Innovation has offered a unique software security expertise with the goal of helping developers build a more robust connected world. We specialize in security assessment, education, and are the authors of several immersive learning environments including the Security Innovation Blockchain CTF.
Sigma Prime (SigP for short) is an information security consultancy, specialised in Blockchain technology, with a strong focus on Ethereum. SigP is composed of developers, researchers and security engineers who have come together with the purpose of building a secure and decentralised world.
The Smart Contract Security Alliance’s core mission is to support healthy growth and adoption of blockchain applications. As part of that, we are working with other members of the industry to develop accepted standards for creating and evaluating the security of smart contracts.
SmartDec is a cybersecurity company providing whole range of blockchain related services, including smart contract security auditing.
Solidified is a community driven auditing service, with 200+ Solidity members on board, where you can set up a bug bounty for your smart contract and/or have multiple independent auditors work on your audit.
SolidStamp connects smart contract users and security auditors to ensure the safety of their Ether and tokens. We maintain an on-chain database of smart contract audits so you can be sure you are investing your funds securely. SolidStamp allows you to hire top-notch security specialists to audit the contract you plan to use to validate their authenticity and security.
Since 2012, Trail of Bits has helped secure some of the world’s most targeted organizations and products. We combine high-end security research with a real-world attacker mentality to reduce risk and fortify code.