Formal Verification

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

179 talks

• Practical Symbolic Execution for EVM | Palina Tolmach, MakerDAO | ETHTaipei 2023
• A stroll down the security tools zoo by Uri Kirstein (@KirsteinUri)
• Automatically Strengthening Formal DeFi Specifications using Program Mutations with Chandra Nandi
• Formal Methods for the Working DeFi Dev by Rikard Hjort | Devcon Bogotá
• Building an End-to-End EVM Symbolic Execution Engine in Solidity by Leo Alt | Devcon Bogotá
• Bad Proofs in Formal Verification by Uri Kirstein | Devcon Bogotá
• Symbolic Computation for Fun and for Profit by Hari | Devcon Bogotá
• Formal Specification and Verification of the Distributed Validator Technology protocol
• Tackling Rounding Errors with Precision Analysis by Raoul Schaffranek | Devcon Bogotá
• From High-Level DeFi Properties to Concrete Security Bugs
• V for Verification: A Unified Service for Secure Blockchains
• Formal Verification of Foundry Tests
• Scribble in a Nutshell
• Secure by Design
• Formal Verification with the Certora Prover
• Auditors Discussion, Sessions 3 & 4
• Automated Vulnerability Fixing in (DeFi) Smart Contracts
• Hardening Blockchain Security with Formal Methods
• Move Fast and Break Nothing
• Security Panel
• Exploiting and Securing DeFi Projects with Formal Methods
• Fully Automated Formal Verification
• Dan Guido: Trail of Bits – The Evolution of Smart Contract Security #346
• Smart contracts as inductive systems