Nurit Dor

Nurit Dor has led product at Certora, the company behind the Certora Prover for formal verification of smart contracts, and is credited as an editor of its February 2025 technology white paper.

3 talks by Nurit Dor

• Formal verification vs fuzzing: the showdown
• From High-Level DeFi Properties to Concrete Security Bugs
• Security Discussion 2