Back to All News
Certora News
AI in Cybersecurity2 articles
Latest news, updates, and announcements from Certora.
ProductNov 22, 2025
Certora's launch of the AI Composer, the first Safe AI Coding Platform for Smart Contracts, marks a...
Certora's launch of the AI Composer, the first Safe AI Coding Platform for Smart Contracts, marks a critical pivot for DeFi security. The platform uses formal verification to ensure mathematical corre...
ProductNov 22, 2025
Certora has launched Certora AI Composer, the first Safe AI Coding Platform for smart contracts. The...
Certora has launched Certora AI Composer, the first Safe AI Coding Platform for smart contracts. The platform merges generative AI with formal verification, using the Certora Prover to mathematically...