Devcon Archive logo
Devcon Devconnect Forum Blog
  • Watch
  • Event
    Event: background logo
    • Devcon 7
    • Devcon 6
    • Devcon 5
    • Devcon 4
    • Devcon 3
    • Devcon 2
    • Devcon 1
    • Devcon 0
    • Devconnect ARG
  • Categories
    Categories: background logo
    • Cryptoeconomics
    • Devcon
    • Developer Experience
    • Coordination
    • Core Protocol
    • Layer 2s
    • Real World Ethereum
    • Cypherpunk & Privacy
    • Security
    • Applied Cryptography
    • Usability
  • Playlists

Suggested

Loading results..

View all

About Devcon —

Devcon is the Ethereum conference for developers, researchers, thinkers, and makers.

An intensive introduction for new Ethereum explorers, a global family reunion for those already a part of our ecosystem, and a source of energy and creativity for all.

  • Watch
  • Devcon
  • Devconnect
  • Forum
  • Blog

Get in touch

devcon@ethereum.org

Subscribe to our newsletter

Crafted with passion ❤️ at the Ethereum Foundation

© 2026 — Ethereum Foundation. All Rights Reserved.

devconnect arg / defi security 101 2025 from fuzzing to formal verification or kevin lotz certora

  • YouTube
  • Details

DeFi Security 101 2025 - From Fuzzing to Formal Verification | Kevin Lotz, Certora

Duration: 00:57:12

Speaker:

Type: Talk

Expertise:

Event: Devcon

Date: Jul 2026

DeFi Security 101 is a one-day intensive course designed for builders who want to deepen their understanding of web3 security fundamentals. “From Fuzzing to Formal Verification” was led by Kevin Lotz, Formal Verification Researcher at Certora. DSS 101 2025 took place in Buenos Aires, Argentina, during Devconnect week, as part of the 4th edition of the DeFi Security Summit (DSS). Learn more about the program: https://luma.com/8kje8uh3