Informal Systems is a worker-owned cooperative that enhances the security and reliability of distributed systems and blockchain infrastructure through security audits and formal verification.
ABAckee Blockchain is a security company specializing in audits, assessments, and the development of open-source tools for the web3 ecosystem, with a strong focus on education and community building.
QULeaders in blockchain security and solutions. Quantstamp is the best choice for modernizing your company with blockchain technology.
Immunefi is the leading bug bounty and security services platform for Web3, protecting crypto projects from bugs and exploits by connecting them with a global community of security researchers.
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.
c/side is a cybersecurity company that provides a platform to monitor, secure, and optimize third-party scripts on websites, protecting against client-side attacks.