Uri Kirstein

Smart contract security specialist and Certora author whose work covers formal verification, security postmortems and Prover tooling.

8 talks by Uri Kirstein

• DeFi Security Summit 2026: Pearl Room, Day 1
• Best of both fuzzing and formal verification: introducing Bounded Model Checking
• Building a Mental Model of a Smart Contract | Uri Kirstein - Certora
• DeFi Security Summit 2023: Day 1, 15 July
• Security Tools Panel
• A stroll down the security tools zoo by Uri Kirstein (@KirsteinUri)
• Security Panel by @razzor_tweet, @KirsteinUri, @sarangparikh22, @buda_kyiv
• Bad Proofs in Formal Verification by Uri Kirstein | Devcon Bogotá