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.
Learn
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!
Subscribe to Certora’s Newsletter
People
Ensuring smart contract security with the use of formal verification