Mooly Sagiv

Mooly Sagiv is a computer scientist and co-founder of Certora, which develops formal verification technology for smart contracts. His research spans static program analysis, abstract interpretation and methods for checking software against precise specifications. At Certora, he works on making these techniques practical for complex DeFi systems and software developers. He is also a professor at Tel Aviv University and an ACM Fellow, with a long research career in programming languages and software verification.

18 talks by Mooly Sagiv

• Bug-Free Solidity Coding Agents
• Devcon 8 Community Led Stage: DeFi 101 Security Panels
• Reducing the Trust Surface
• Securing Ethereum in the age of AI: Challenges & Opportunities
• Using LLM Generated Formal Specs to Prevent the Next DeFi Hack
• AI Composer - Safe Vibe Coding
• Formal Verification for Ethereum’s Next Scalability Era / FV and LLMs Together
• Safe Smart Contract Vibe Coding | Mooly - Certora
• Harnessing LLMs to generate secure code
• ZK Security with Starkware and Aztec Founders
• Securing AI-Assisted DeFi Development with Formal Verification
• Demystifying Smart Contract Security: Facts & Fallacies
• Using Forta Firewall to Block Exploit Transactions
• Demystifying Smart Contract Security: Facts & Fallacies
• DeFi Security Summit 2024: Day 1, 8 November
• Why DeFi Security Matters
• Preventing Unknown Attacks in DeFi
• Move Fast and Break Nothing