Why subscribe?

Be on top of DeFi security

Certora is one of the leading security companies in DeFi, and it is easy to lose track of all our findings. Our newsletter contains all our bug and verification reports from the last month.


The newsletter will contain all our new educational material on various topics, from smart contract exploits to formal methods in computer science. You can watch some of our lectures given at various conferences around the globe monthly.

Stay up to date

Certora is very active in academic and crypto conferences. Don’t miss any event with our monthly heads-up.

Join the crew

Certora is hiring for technical and non-technical roles. Be a part of the team!


Ensuring smart contract security with the use of formal verification