5K Run/Walk For Code Security at Devconnect Istanbul

​Let's take a break from conferences and talks and get in some movement in honor of code security.

​​Join us at the entrance of the Istanbul Congress Center. Please remember to wear comfortable footwear. We'll have dedicated personnel to safeguard your personal belongings, and refreshing cold water will be provided for all runners / walkers.

​​Looking forward to seeing you there!

​​Certora and Electric Teams

​Certora is a blockchain security company that provides industry-leading formal verification tools and smart contract audits. Certora’s flagship security product, Prover, is helping protocols like Aave, Lido, and Maker integrate the power of formal verification into their development pipeline to catch even the most rare & hard-to-find bugs. Learn more at https://www.certora.com/