Security Team

The Security Team at Certora is responsible for ensuring the robustness and safety of code by utilizing advanced technology to guarantee code correctness and security. This team works on identifying vulnerabilities, auditing smart contracts, and developing tools and strategies to protect decentralized finance (DeFi) projects and other high-stakes applications from potential threats.