Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts

Introduction to SEAL | samczsun

Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs)

Irene Wu, Head of Strategy, LayerZero Labs – Security Principles For Cross-Chain Messaging Protocols

Jack Sanford, Co-Founder of Sherlock Protocol – The Unreasonable Effectiveness of Audit Contests

Jack Sanford, Co-Founder, Sherlock – Critical Bugs Found in Audit Contests vs. Traditional Audits