Formal Verification

Mathematically proving a contract behaves as specified, rather than testing that it usually does.

179 talks

• How Good Is Your Formal Specification? Mutation Testing To The Rescue!
• Tadeas Kucera, Jaroslav Bendik / DCxPrague
• Formal Verification of EVM Bytecode
• Episode 293 - Exploring Security of ZK Systems with Nethermind's Michał & Albert
• ZK10: Fiat-Shamir security of FRI and related SNARKs - Albert Garreta (Nethermind)
• ZK10: Lurk: From zkDSLs to zkGPLs - John Burnham
• Taking Compositionality Seriously
• DeFi Security Summit 2023: Day 2, 16 July
• Towards Adoption of Symbolic Execution for DeFi Security
• Cracking the Code: Uncovering DeFi Scams with Symbolic Execution
• Formal Verification Panel
• Optimizing Code Without Getting REKT
• Formally Verifying Morpho
• Security Tools Panel
• Where to Introduce Formal Verification on a DeFi Protocol like Aave - Part II
• Testing Your Code on Arbitrary States (aka Formal Verification)
• Can Code Be Trusted?
• Where to Introduce Formal Verification on a DeFi Protocol like Aave - Part I
• Episode 284 - Using Formal Verification on ZK Systems with Jon Stephens
• Ensuring Security : Formal Verification in Account abstraction
• Medjai: Verifying ZK Smart Contracts
• Picus: Push button zk circuit verification
• CVL from ERC20 to Read Only Reentrancy
• Sec it up: What's brewing in the security tooling space? | Neville Grech, DEDAUB | ETHTaipei 2023