The Next Chapter of Software Security
Software is changing. Software security has to change with it.
In this conversation, Armen Ter-Avetisyan (Technical Account Manager at Certora) sits down with Mooly Sagiv, CEO and co-founder of Certora, to discuss why AI marks a turning point for software security.
Drawing on four decades of work in formal verification, Mooly shares how the field has evolved, what has changed in recent years, and why technologies like AutoProver could make mathematically proven software security accessible to many more developers.
Topics include
- Why formal verification exists
- The biggest breakthroughs over the past 40 years
- Why this moment is different from everything that came before
- How AI is changing software development
- Why AutoProver could make formal verification accessible to every developer
- What the future of software security looks like
Whether you're building smart contracts, AI applications, or critical software systems, this conversation explores where software security is headed and what it will take to build software we can actually trust.
Learn more about AutoProver
- Announcement: https://www.certora.com/blog/autoprover-agentic-formal-verification
- App: https://app.certora.com/
Follow us on Socials